§4.2, proof of Theorem 4.2, p. 300 — per-step inequality f(x_s) − f(x) ≤ (1/η)(D_Φ(x,x_s) + D_Φ(x_s,y_{s+1}) − D_Φ(x,x_{s+1}) − D_Φ(x_{s+1},y_{s+1}))

Initializing...

§4.2, proof of Theorem 4.2, p. 300 — per-step inequality f(x_s) − f(x) ≤ (1/η)(D_Φ(x,x_s) + D_Φ(x_s,y_{s+1}) − D_Φ(x,x_{s+1}) − D_Φ(x_{s+1},y_{s+1})) · Prove2Me