Difference between revisions of "Prime counting function"

Line 3: Line 3:
 
The function <math>\pi(x)</math> is [[asymptotically equivalent]] to <math>\frac{x}{log x}</math>.  This is the [[prime number theorem]].  It is also asymptotically equivalent to [[Chebyshev's theta function]]. It was first proved in 1896 by Jacques Hadamard and by Charles de la Vallée Poussin, working independently.  
 
The function <math>\pi(x)</math> is [[asymptotically equivalent]] to <math>\frac{x}{log x}</math>.  This is the [[prime number theorem]].  It is also asymptotically equivalent to [[Chebyshev's theta function]]. It was first proved in 1896 by Jacques Hadamard and by Charles de la Vallée Poussin, working independently.  
  
The prime counting function has many ties to the [[Riemann zeta function]] and other branches of [[analytic number theory]]. For example, showing that  <math>\pi(x) - </math> <math>\li(x) =</math> <math>\mathcal{0}(sqrt(x) log x)</math>.
+
The prime counting function has many ties to the [[Riemann zeta function]] and other branches of [[analytic number theory]]. For example, showing that  <math>\pi(x) - </math> <math>\int^n_2 \frac{1}{logx} =\mathcal{0}(sqrt(x) log x)</math>.
  
 
== See also ==
 
== See also ==

Revision as of 12:35, 13 August 2015

The prime counting function, denoted $\pi$, is a function defined on real numbers. The quantity $\pi(x)$ is defined as the number of positive prime numbers less than or equal to $x$. Gauss first conjectured that the prime number theorem $\sim$ $\frac{x}{log x}$, or equivalently, $\lim_{x\to\infty}\frac{\pi(x)}{\frac{x}{log x}} = 1$.

The function $\pi(x)$ is asymptotically equivalent to $\frac{x}{log x}$. This is the prime number theorem. It is also asymptotically equivalent to Chebyshev's theta function. It was first proved in 1896 by Jacques Hadamard and by Charles de la Vallée Poussin, working independently.

The prime counting function has many ties to the Riemann zeta function and other branches of analytic number theory. For example, showing that $\pi(x) -$ $\int^n_2 \frac{1}{logx} =\mathcal{0}(sqrt(x) log x)$.

See also

This article is a stub. Help us out by expanding it.