P
Initializing...
Theorem 2.14 — with $c = 0$ below the minimum $d$, the best value tends to at most $2d/(2-\gamma)$ · Prove2Me