Potential function with sharp $(k+1)$ upper bound and work-function step bound (coalesced start, finite metric)

Initializing...

Potential function with sharp $(k+1)$ upper bound and work-function step bound (coalesced start, finite metric) · Prove2Me