Theorem 3, p. 7 — for f ∈ F_∞ the solution of (3) satisfies f(X(t)) − f⋆ ≤ 2‖x₀ − x⋆‖²/t²

Initializing...

Theorem 3, p. 7 — for f ∈ F_∞ the solution of (3) satisfies f(X(t)) − f⋆ ≤ 2‖x₀ − x⋆‖²/t² · Prove2Me