sum of
The following result holds:
where is the Möbius function (http://planetmath.org/MoebiusFunction).
Proof:
Let . Assume .
For we have the Euler product expansion
where is the Riemann zeta function.
We recall the following properties of the Riemann zeta function (which can be found in the PlanetMath entry Riemann Zeta Function (http://planetmath.org/RiemannZetaFunction)).
- •
is analytic except at the point where it has a simple pole with residue .
- •
has no zeroes in the region .
- •
The function is analytic and nonzero for .
- •
Therefore, the function is analytic for .
Further, as a corollary of the proof of the prime number theorem, we also know that this sum, converges to for ; in particular, it converges at ).
But then
So , but this is a contradiction since has a simple pole at . Therefore .