Prime counting

From specialfunctionswiki
Revision as of 06:35, 5 April 2015 by Tom (talk | contribs) (Properties)
Jump to: navigation, search

The prime counting function $\pi \colon \mathbb{R} \rightarrow \mathbb{Z}^+$ is defined by the formula $$\pi(x) = \{\mathrm{number \hspace{2pt} of \hspace{2pt} primes} \leq x \}.$$


Properties

Theorem

The function $\pi(x)$ obeys the formula $$\lim_{x \rightarrow \infty} \dfrac{\pi(x)}{\frac{x}{\log(x)}}=1,$$ where $\pi$ denotes the prime counting function and $\log$ denotes the logarithm.

Proof

References

References

Newman's short proof of the prime number theorem