§4.2, proof of Theorem 4.2, p. 300 — Σ_{s=1}^t (f(x_s) − f(x)) ≤ D_Φ(x, x₁)/η + ηL²t/(2ρ)

Initializing...

§4.2, proof of Theorem 4.2, p. 300 — Σ_{s=1}^t (f(x_s) − f(x)) ≤ D_Φ(x, x₁)/η + ηL²t/(2ρ) · Prove2Me