Dirichlet Series is Analytic

Theorem
Suppose a function of a complex variable $z$ is defined as:


 * $\displaystyle f \left({z}\right) = \sum_{n \mathop = 1}^\infty \frac {a_n} {n^z}$

Then $f$ is analytic in every open set such that the sum converges in the set.