No countable subset works. For any countable set , choose : each nonempty interval is uncountable. The sequence tends to infinity, so every tailis closed in and disjoint from . By part (i), is open in . These sets increase and cover , since no point belongs to every tail. But any finite selection is contained in its largest member, which still misses every quotient point in that member's remaining tail. The represent distinct singleton classes.
This is an open cover without a finite subcover, provingThe argument does not assume that is closed, bounded, or discrete. It is the noncompactness after collapsing a countable real subset obstruction.