P
Initializing...
Theorem 7.2, p. 31 — Semi-APGM (Algorithm 2) has ℒ_{k+1} ≤ ℒ_k/(1 + α_k), (87) and (88) · Prove2Me