Potential function with sharp $(k+1)$ bound, step bound, and $c \le \Phi([])$ (coalesced start, finite metric)

Initializing...

Potential function with sharp $(k+1)$ bound, step bound, and $c \le \Phi([])$ (coalesced start, finite metric) · Prove2Me