P
Initializing...
§4.2, proof of Theorem 4.2, p. 300 — D_Φ(x_s, y_{s+1}) − D_Φ(x_{s+1}, y_{s+1}) ≤ (ηL)²/(2ρ) · Prove2Me