 Finite-dimensional continuation criterion

A maximal solution of a locally Lipschitz ordinary differential equation on a finite-dimensional space can end at a finite time only by leaving every compact subset of the vector field's domain. In particular, a bounded solution for an everywhere-defined vector field extends globally.