Total growth $\le (k+1)\,\mathrm{OPT}$ at all configurations on $k+2$ points, injective start

Initializing...

Total growth $\le (k+1)\,\mathrm{OPT}$ at all configurations on $k+2$ points, injective start · Prove2Me