Let X be a metric space with the distance function d:X×X→R. For a subset Y of X, its diameter is defined as δ(Y):=sup{d(y,y′)∣y,y′∈Y}.
Show that, if X is compact and {Uλ}λ∈Λ is an open covering of X, then there exists an ϵ>0 such that every subset Y⊂X with δ(Y)<ϵ is contained in some Uλ.