ChatGPT - ODE convergence proof