>>11100455Answering myself. Assume that position doesn't explode and look at what happens to velocity at some arbitrary time t.
Since position doesn't explode we can evaluate velocity = f(position(t))
position has a derivative at t, so is locally lipshitz there. f is lipshitz. Hence small changes in t result in small changes in velocity, meaning that velocity doesn't blow up around t.
