Talk:Osgood's lemma