P
Initializing...
Proof of Theorem 4.6, even case — make-span $|x^2|$ against $\tfrac12|x^2| + k\varepsilon$ · Prove2Me