Prime Number Theorem

== Theorem ==
The prime-counting function $\map \pi n$, that is, the number of primes less than $n$, satisfies:
:$\ds \lim_{n \mathop \to \infty} \map \pi n \frac {\map \ln n} n = 1$
or equivalently: 
:$\map \pi n \sim \dfrac n {\map \ln n}$
where $\sim$ denotes asymptotic equivalence.
== Proof ==
The proof presented here is a version of 's proof. For ease of reading, the proof is broken into parts, with the goal of each part presented.
From the Von Mangoldt Equivalence, the Prime Number Theorem is logically equivalent to:
:$\ds \lim_{N \mathop \to \infty} \frac 1 N \sum_{n \mathop = 1}^N \map \Lambda n = 1$
where $\Lambda$ is the von Mangoldt function.
While useful, the von Mangoldt function is a discrete function that is not very much easier to work with than $\map \pi n$ itself.
It behooves us to find another statement equivalent to the Prime Number Theorem.
From Zeta Equivalence to Prime Number Theorem, the Prime Number Theorem is logically equivalent to the statement that:
:The average of the first $N$ coefficients of $\dfrac {\zeta'} {\zeta}$ tend to $-1$ as $N$ goes to infinity.
Now we demonstrate the truth of this claim regarding $\dfrac {\zeta'} \zeta$.
Doing so proves the Prime Number Theorem.
We know that all of the coefficients of $\zeta$ are precisely $1$.
So the statement:
:The average of the first $N$ coefficients of $\dfrac {\zeta'} {\zeta}$ tend to $1$ as $N$ goes to infinity
is equivalent to the statement:
:The average of the first $N$ coefficients of $\frac {\zeta'} {\zeta} -\zeta$ tend to $0$ as $N$ goes to infinity.
The latter will be more convenient for our purposes.
We write:
:$\dfrac {\map {\zeta'} z} {\map \zeta z} - \map \zeta z = \dfrac 1 {\map \zeta z} \paren {\map {\zeta'} z - \map {\zeta^2} z}$
From Reciprocal of Riemann Zeta Function, Square of Riemann Zeta Function and Derivative of Riemann Zeta Function:
:$\ds \frac 1 {\map \zeta z} \paren {\map {\zeta'} z - \map {\zeta^2} z} = \paren {\sum_{n \mathop = 1}^\infty \frac {\map \mu n} {n^z} } \paren {\paren {\sum_{n \mathop = 1}^\infty \frac {\map \ln n} {n^z} } - \paren {\sum_{n \mathop = 1}^\infty \frac {\map {\sigma_0} n} {n^z} } }$
where:
:$\map \mu n$ is the Möbius function
:$\map {\sigma_0} n$ is the divisor count function.
Given this form of the function, we can see that the average of the first $N$ coefficients is:
:$\ds \frac 1 N \sum_{a b \mathop \le N} \paren {\map \mu a \paren {\map \ln b - \map {\sigma_0} b} }$
Hence the Prime Number Theorem is equivalent to the statement that this expression tends to $0$ as $N \to \infty$.
At this point, we can add:
 
From Sum of Möbius Function over Divisors, this $1$ is just:
:$\ds 1 = \underbrace {\sum_{a \mathop \divides 1} \map \mu a}_{= 1} + \underbrace {\sum_{a \mathop \divides 2} \map \mu a}_{= 0} + \dots + \underbrace {\sum_{a \mathop \divides N} \map \mu a}_{= 0}$
Hence we continue from the above:
As $N \to \infty$, we have:
:$\ds \lim_{N \mathop \to \infty} \paren {\map \OO {\frac {-1} {\sqrt N} } \map o N - \frac {2 \gamma} N}$
which clearly goes to $0$ as $\map \OO {\dfrac {-1} {\sqrt N} }$ dominates $\map o N$.
== Interpretation ==
== Also see ==
* Definition:Chebyshev-Sylvester Constant
* Definition:Legendre's Constant
== Historical Note ==
While the PNT states that $\map \pi n$ is asymptotic to $\dfrac n {\map \ln n}$, it states nothing about the error of this approximation beyond:
:$\map \pi n - \dfrac n {\map \ln n} = \map \OO {n^\alpha}$
where $\alpha < 1$.
This follows from the PNT because if the error was of the form $\map \OO {n^\alpha}, \alpha \ge 1$, the PNT would be false.
Investigations into the error of the approximation to $\map \pi N$ continue, most notably with ongoing research on the Riemann Hypothesis.
If the hypothesis is true, then the error is:
:$\map \pi n - \dfrac n {\map \ln n} = \map \OO {\sqrt n \log n}$
If the hypothesis is false, the error is:
$\map \OO {n^\alpha}$ for some $\alpha > \dfrac 1 2$
== Sources ==
* 
* : $1.1$ What is asymptotics? $(1.1.2)$
* : $\text I$: The Series of Primes: $1.5$ Some questions concerning primes: $(4)$
* 
* 
* 
* 
* 
Category:Prime Number Theorem
Category:Prime Numbers
Category:Named Theorems
Category:Analytic Number Theory