§4.5, proof of Theorem 4.4, p. 307 — per-step bound f(y_{t+1}) − f(x) ≤ (D_Φ(x, x_t) − D_Φ(x, x_{t+1}))/η for η = ρ/β

Initializing...

§4.5, proof of Theorem 4.4, p. 307 — per-step bound f(y_{t+1}) − f(x) ≤ (D_Φ(x, x_t) − D_Φ(x, x_{t+1}))/η for η = ρ/β · Prove2Me