Derivative of Complex Power Series

Theorem
Let $\xi\in\C$ be a complex number.

Let $\langle a_n\rangle$ be a sequence in $\C$.

Let $\displaystyle f\left(z\right)=\sum_{n=0}^\infty a_n\left(z-\xi\right)^n$ be a power series in a complex variable $z\in\C$ about $\xi$.

Let $R$ be the radius of convergence of the series defining $f\left(z\right)$.

Let $\left\vert z-\xi\right\vert0$ satisfying $\epsilon0$ satisfying $\epsilon<R-\left\vert z-\xi\right\vert$. Let:
 * $\displaystyle M=\sum_{n=2}^\infty\frac{n\left(n-1\right)}{2}\left\vert a_n\right\vert\left(R-\epsilon\right)^{n-2}$

Observe that this series converges by the root test.

Suppose that $\left\vert h\right\vert\le R-\epsilon-\left\vert z-\xi\right\vert$. It follows by the triangle inequality that $\left\vert z-\xi+h\right\vert\le\left\vert z-\xi\right\vert+\left\vert h\right\vert\le R-\epsilon$. By the triangle inequality, Difference of Two Powers, and Closed Form for Triangular Numbers, the following holds:

Letting $h\to 0$ gives $f'(z)=g(z)$, as desired.