Logarithmic Derivative of Riemann Zeta Function

Theorem
Let $\zeta$ be the Riemann zeta function:


 * $\ds \forall s \in \C: \map \Re s > 1: \map \zeta s = \sum_{n \mathop \ge 1} n^{-s}$

Then for all $s \in \C$ with $\map \Re s > 1$:


 * $\ds -\frac {\map {\zeta'} s} {\map \zeta s} = \sum_{n \mathop \ge 1} \map \Lambda n n^{-s}$

where $\Lambda$ is von Mangoldt's function.

Proof
By Sum of Reciprocals of Powers as Euler Product:


 * $\ds \map \zeta s = \prod_p \frac 1 {1 - p^{-s} }$

where $p$ ranges over the primes.

From Laws of Logarithms:


 * $\ds \ln \map \zeta s = - \sum_p \map \ln {1 - p^{-s} }$

Taking the derivative:

Also, by the definition of $\Lambda$:


 * $\ds \sum_{n \mathop \ge 1} \map \Lambda n n^{-s} = \sum_p \paren {\ln p} \sum_{n \mathop \ge 1} p^{-n s}$

and the proof is complete.