Complex Analysis/Function series, power series, Euler's formula, polar form, argument

Series of complex functions
Given a sequence of (possibly holomorphic functions) $$f_0, f_1, \ldots, f_n, f_{n+1}, \ldots$$ we can, in the case of convergence, form the series
 * $$\sum_{n=0}^\infty f_n(z)$$,

which depends on $$z$$ and may be seen as a complex function, where domain of definition equals domain of convergence. We first note the obvious definitions (we count from zero since this will allow for the important special case of power series without any modifications).

Within the interior of the domain of convergence, the complex differentiability of all the $$f_n$$ implies the differentiability of the corresponding series, and moreover we may differentiate term-wise.

Power series
In this section, we specialize the considerations of the previous section down to the case $$f_n(x) = c_n x^n$$, where $$c_0, c_1, c_2, \ldots$$ is a sequence of constants.