§5.3.2, proof of Theorem 5.3, p. 321 — ∇²f(x_k) ⪰ ∇²f(x*) − M‖x_k − x*‖Iₙ ⪰ (μ − M‖x_k − x*‖)Iₙ ⪰ (μ/2)Iₙ

Initializing...

§5.3.2, proof of Theorem 5.3, p. 321 — ∇²f(x_k) ⪰ ∇²f(x*) − M‖x_k − x*‖Iₙ ⪰ (μ − M‖x_k − x*‖)Iₙ ⪰ (μ/2)Iₙ · Prove2Me