Holomorphic functions are analytic

Statement

Let $U \subseteq \mathbb{C}$ be an open set and let $f : U \to \mathbb{C}$ be holomorphic on $U$. Let $c \in U$ and $r > 0$ be such that the open disc $D = \{z : |z - c| < r\}$ is contained in $U$. Then there are complex numbers $a_0, a_1, a_2, \dots$ such that the power series $\sum_{n \ge 0} a_n (z - c)^n$ converges to $f(z)$ for each $z \in D$. For each $\rho$ with $0 < \rho < r$, the coefficients are $$a_n = \frac{1}{2 \pi i} \oint_{|z - c| = \rho} \frac{f(z)}{(z - c)^{n+1}} \, dz.$$ In particular, $f$ is analytic on $U$: near each point of $U$, $f$ is the sum of a convergent power series.