Why can the meromorphic function only have finitely many poles in the complex plane?

There is a proof in Complex Analysis by Stein-Shakarchi that I do not understand. I have highlighted it in red.

Why can they say that $f$ only has a finite number of points? What makes them able to exclude the countable number in the definition of a meromorphic function?

enter image description here


Solution 1:

If $f\left(\frac{1}{z}\right)$ is holomorphic in $0 < \lvert z\rvert < r$, then $f(z)$ is holomorphic in $\frac{1}{r} < \lvert z\rvert < \infty$ (and vice versa). Thus $f$ can have poles - except maybe at $\infty$ - only in the compact set $\overline{D_{1/r}(0)} = \{z : \lvert z\rvert \leqslant 1/r\}$. Since the set of poles has no accumulation point, and every infinite subset of a compact set has an accumulation point, $f$ can have only finitely many poles in $\overline{D_{1/r}(0)}$, and possibly one at $\infty$, so finitely many altogether.