Dirichlet Series is Analytic

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

$$f(z) = \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.