(4.9), proof of Theorem 4.4, p. 307 — second term: η∇f(x_t)⊤(y_{t+1} − x_{t+1}) ≤ D_Φ(x_{t+1}, x_t) − (ρ/2)‖x_{t+1} − y_{t+1}‖² − (ρ/2)‖y_{t+1} − x_t‖²

Initializing...

(4.9), proof of Theorem 4.4, p. 307 — second term: η∇f(x_t)⊤(y_{t+1} − x_{t+1}) ≤ D_Φ(x_{t+1}, x_t) − (ρ/2)‖x_{t+1} − y_{t+1}‖² − (ρ/2)‖y_{t+1} − x_t‖² · Prove2Me