Theorem 1, p. 13 — for f ∈ S²_{μ,L} and 0 < s ≤ 1/L, the NAG-SC high-resolution ODE satisfies f(X(t)) − f(x⋆) ≤ (2‖x₀ − x⋆‖²/s) e^{−√μ t/4}

Initializing...

Theorem 1, p. 13 — for f ∈ S²_{μ,L} and 0 < s ≤ 1/L, the NAG-SC high-resolution ODE satisfies f(X(t)) − f(x⋆) ≤ (2‖x₀ − x⋆‖²/s) e^{−√μ t/4} · Prove2Me