P
Initializing...
Proof of Theorem 3.14, p. 283 — ‖x*_k‖² = Σᵢ (i/(k+1))² ≤ (k+1)/3 · Prove2Me