Difference between revisions of "Prime counting function"
Pi3point14 (talk | contribs) |
Pi3point14 (talk | contribs) |
||
| (16 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | The '''prime counting function''', denoted <math>\pi</math>, is a [[function]] defined on [[real number]]s. The quantity <math>\pi(x)</math> is defined as the number of [[positive]] [[prime number]]s less than or equal to <math>x</math>. Gauss first conjectured that the [[prime number theorem]] <math>\ | + | The '''prime counting function''', denoted <math>\pi</math>, is a [[function]] defined on [[real number]]s. The quantity <math>\pi(x)</math> is defined as the number of [[positive]] [[prime number]]s less than or equal to <math>x</math>. Gauss first conjectured that the [[prime number theorem]] <math>\sim</math> <math>\frac{x}{log x}</math>, or equivalently, <math>\lim_{x\to\infty}\frac{\pi(x)}{\frac{x}{log x}} = 1</math>. |
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>\int^n_2 \frac{1}{log x} =\mathcal{O}(\sqrt x log x)</math>, where <math>\mathcal{O}</math> is [[Big O Notation]], would imply the [[Riemann Hypothesis]]. However, this is a result stronger than the hypothesis, so to prove the [[Riemann Hypothesis]], it would suffice to show that <math>\pi(x) - </math> <math>\int^n_2 \frac{1}{log x} =\mathcal{O}(x^{\frac{1}{2}+\epsilon})</math>. This second statement is equivalent to the hypothesis. | ||
== See also == | == See also == | ||
Latest revision as of 12:45, 13 August 2015
The prime counting function, denoted 
, is a function defined on real numbers. The quantity 
is defined as the number of positive prime numbers less than or equal to 
. Gauss first conjectured that the prime number theorem 
, or equivalently, 
.
The function is asymptotically equivalent to . 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 
, where 
is Big O Notation, would imply the Riemann Hypothesis. However, this is a result stronger than the hypothesis, so to prove the Riemann Hypothesis, it would suffice to show that 
. This second statement is equivalent to the hypothesis.
See also
This article is a stub. Help us out by expanding it.
