§3.1, proof of Theorem 3.2, p. 265 — f(x_s) − f(x*) ≤ (‖x_s − x*‖² − ‖y_{s+1} − x*‖²)/(2η) + (η/2)‖g_s‖²

Initializing...

§3.1, proof of Theorem 3.2, p. 265 — f(x_s) − f(x*) ≤ (‖x_s − x*‖² − ‖y_{s+1} − x*‖²)/(2η) + (η/2)‖g_s‖² · Prove2Me