[trombonechamp]

> Distance is a monotonic increasing function of time, so the inverse function exists.

Not to be pedantic, but I think they mean a "strictly increasing" function, as f(x)=1 for x∈ℝ does not have an inverse.