Dirichlet's Theorem on Arithmetic Sequences

Theorem
Let $a, q$ be coprime integers.

Let $\mathcal P_{a, q}$ be the set of primes $p$ such that $p \equiv a \pmod q$.

Then $\mathcal P_{a, q}$ has Dirichlet density:
 * $\phi \left({q}\right)^{-1}$

where $\phi$ is Euler's phi function.

In particular, $\mathcal P_{a, q}$ is infinite.

Lemma 2
We have:

By Lemma 1, the first term grows like $\dfrac 1 {\phi \left({q}\right)} \ln \dfrac 1 {s-1}$ as $s \to 1$, while all other terms are bounded.

That is,:


 * $\displaystyle \sum_{p \mathop \in \mathcal P_{a, q} } \frac 1 {p^s} \sim \frac 1 {\phi \left({q}\right)} \ln \left({\dfrac 1 {s - 1} }\right)$

as $s \to 1$.