Existence Theory for Nonlinear Ordinary Differential Equations