Starting with the extra hypothesis that the function is continuous (or bounded), the theorem is much easier to prove and in this form is known as Osgood's lemma.