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

Initializing...

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