Redirecting to Lebesgue's lemma