Theorem 5, p. 21 — along the high-resolution ODE of NAG-C, inf_{t₀≤u≤t}‖∇f(X(u))‖² ≤ (12 + 9sL)‖x₀ − x⋆‖²/(2√s(t³ − t₀³))

Initializing...

Theorem 5, p. 21 — along the high-resolution ODE of NAG-C, inf_{t₀≤u≤t}‖∇f(X(u))‖² ≤ (12 + 9sL)‖x₀ − x⋆‖²/(2√s(t³ − t₀³)) · Prove2Me