Great! So this is an open cover of X; and now what? - By our assumption there exists a finite subcover, i.e. finitely many of those balls that cover X, each of which contains onlyfinitelymany elements of theinfinitesequence . - Isn't this a contradiction? - Methinks it is.