Numerical methods and existence theorems for ordinary differential equations