§4.5, proof of Theorem 4.4, p. 306 — first term: η∇f(y_{t+1})⊤(x_{t+1} − x) ≤ D_Φ(x, x_t) − D_Φ(x, x_{t+1}) − D_Φ(x_{t+1}, x_t)

Initializing...

§4.5, proof of Theorem 4.4, p. 306 — first term: η∇f(y_{t+1})⊤(x_{t+1} − x) ≤ D_Φ(x, x_t) − D_Φ(x, x_{t+1}) − D_Φ(x_{t+1}, x_t) · Prove2Me