P
Initializing...
Proof of Theorem 3.19, p. 295 — summing from s = 1 to t − 1, δ_t ≤ (β/(2λ²_{t−1}))‖u₁‖² · Prove2Me