Dirichlet Series is Analytic

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


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

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