Hay un teorema que dice que si $E$ es un infinito subconjunto de un conjunto compacto $K$, $E$ tiene un punto límite en $K$.
Por qué no puede ser hecho con $K$ sólo está cerrado? Si $K$ es cerrado, a continuación,$\overline{E} \subset K$, por lo que si $x$ es un punto límite de $E$,$x \in \overline{E} \implies x \in K$.