Proposition 2, p. 10 — DFO: F(β⁽ᵐ⁾) decreases to some F* ≥ 0, and min_{m≤M} ‖β⁽ᵐ⁺¹⁾ − β⁽ᵐ⁾‖² ≤ 2(F(β⁽¹⁾) − F*)/(M(L − L₀))

Initializing...

Proposition 2, p. 10 — DFO: F(β⁽ᵐ⁾) decreases to some F* ≥ 0, and min_{m≤M} ‖β⁽ᵐ⁺¹⁾ − β⁽ᵐ⁾‖² ≤ 2(F(β⁽¹⁾) − F*)/(M(L − L₀)) · Prove2Me