Redirecting to Lebesgue's number lemma