Derivative of Complex Power Series/Proof 1

Proof
Define:
 * $\displaystyle g \left({z}\right) = \sum_{n \mathop =1}^\infty na_n \left({z-\xi}\right)^{n-1}$

From Radius of Convergence of Derivative of Complex Power Series, it follows that $g$ has radius of convergence $R$.

Fix an $\epsilon > 0$ satisfying $\epsilon < R - \left\vert{ z-\xi }\right\vert$.

Define:
 * $\displaystyle M=\left({ R - \epsilon - \left\vert{ z-\xi }\right\vert }\right)^{-2} \sum_{n \mathop =2}^\infty \left\vert{ a_n}\right\vert \left({R - \epsilon}\right)^n$

Suppose that $\left\vert{ h}\right\vert \le R - \epsilon - \left\vert{ z-\xi}\right\vert$.

Then, by the Binomial Theorem and the Triangle Inequality:

Letting $h\to 0$ we see that $f' \left({z}\right)$ exists and $f' \left({z}\right) = g \left({z}\right)$, as desired.

Remark
The proof for real power series is identical.