Talk:Lebesgue's number lemma