Theorem 11, p. 19 — (GM) with α_k = 1/L_f on qS_{L_f,κ_f}: ‖x^k − x̄^k‖² ≤ ((1 − μ_f)/(1 + μ_f))^k ‖x⁰ − x̄⁰‖²

Initializing...

Theorem 11, p. 19 — (GM) with α_k = 1/L_f on qS_{L_f,κ_f}: ‖x^k − x̄^k‖² ≤ ((1 − μ_f)/(1 + μ_f))^k ‖x⁰ − x̄⁰‖² · Prove2Me