Riemann Hypothesis
The Riemann hypothesis, proposed by Bernhard Riemann in 1859, is a famous conjecture that has far-reaching consequences in many areas of mathematics. A proof of the Riemann hypothesis is one of the seven Millennium Prize Problems in mathematics. The first person to provide a proof will be awarded a prize of U.S. $1 million by the Clay Mathematics Institute.
Prime Counting Function
For an integer
The following table gives the values of
2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 2 | 2 | 3 | 3 | 4 | 4 | 4 | 4 | 5 | 5 | 6 | 6 | 6 | 6 | 6 | 7 | 8 | 8 |
Mathematicians are interested in developing formulas for
We will denote the
Background
For all integers
Proof by induction on
Let
(see Summation and Product Notation)
Base Case:
Inductive Step:
Let
Assume the inductive hypothesis
We wish to prove
which is exactly the right hand side of the equation
The result is true for
Upper Bound
For all positive integers
Proof by strong induction on
Base Case:
The statement
Inductive Step:
Let
Assume the inductive hypothesis,
We wish to prove
Now, by Euclid's theorem, we know that the integer
The result is true for
Lower Bound
For all integers
(see Logarithms)
Let
We note that
Now, taking logarithms of bth sides of the inequality
Since
It follows that
Better Lower Bound
For all integers
Let
Define
Now, for each integer
where
Thus, we have
and so
Since
where each
Now, there are at most
Also, there are at most
Hence, there are at most
Since there are exactly
and therefore
Prime Number Theorem
(see Limits)
The prime number theorem describes the asymptotic distribution of prime numbers.
That is, it gives a formula for
Riemann Hypothesis
Let us compare the estimates for
First, with the weak lower bound theorem:
And then with the better lower bound theorem:
With Prime number theorem:
which is much closer, agreeing on the first 2 digits.
Finally, with the Riemann Hypothesis:
Which is a very close estimate, agreeing on the first 14 digits.