Lebesgue number lemma

Let be a compact metric space and let be an open cover. There exists such that for each , we have