Theorem. Let . Suppose that D is non-empty and sequentially compact. Let C be an open cover of D. Then there is a real number such that if with then for some .
Note that d(E) is the diameter of E.
This seems so intuitively obvious to me... or am I not reading it correctly? Can't I just choose small enough that E is approximately a point?