Theorem 7.3, p. 33 — Semi-AFB (Algorithm 4) has ℒ_{k+1} ≤ ℒ_k/(1 + α_k), (87) and (88)

Initializing...

Theorem 7.3, p. 33 — Semi-AFB (Algorithm 4) has ℒ_{k+1} ≤ ℒ_k/(1 + α_k), (87) and (88) · Prove2Me