1.1 Introduction
The history of mathematics is full of examples where conjectures were established based on intuition, or simply based on numerical research. An example of this, very relevant in this case, is the famous prime number theorem (PNT), initially formulated by Gauss in 1792 [1-6]. In this work, we will make a small adjustment to the prime counting function π(x), which not only improves the estimate of the number of primes up to x but will also allow us to limit the error with which the PNT predicts the value of π(x).
1.2 Previous concepts
The prime number theorem states that
(1)
Where π (x) is the number of primes smaller than x , and ln (x) is the natural logarithm of x.
1.3 New estimate for π(x)
At (1), we use
then is:
where
is:
In 1896, de la Vallée Poussin [7] showed that x/(ln x-a) provides a better approximation to π(x) than x/(ln x), and also showed that using a=1 is the best option.
So, we replace, in the previous equation,
by
being
therefore, it is
(2)
Before using expression (2), to address the issue of the error with which the PNT predicts the value of π(x), we are going to show how said expression (2) can be used to improve the estimate of the number of primes up to x, given by the PNT.
We start from n=2, with Π(22)=2 (primes 2 and 3)
.
.
.
If in equation (2) we replace n2 by xwe get:
Or generalizing, we could write:
If x is not a square number, then the expression (3) will be:
The actual values of π(x), the values of π(x) estimated with the PNT, and with equation (3), and the relative error of (3), are shown, for various values of x, in the following table 1.
Table 1: compare the actual value of π(x), with π(x) estimated by PNT and by equation (3). |
x |
π(x) |
|
|
between π(x) and
|
2^6 |
18 |
20 |
19 |
5,55% |
2^8 |
54 |
56 |
57 |
5,55% |
2^10 |
172 |
172 |
177 |
2,90% |
2^12 |
564 |
559 |
572 |
1,41% |
2^14 |
1900 |
1882 |
1913 |
0,68% |
2^16 |
6542 |
6495 |
6575 |
0,50% |
2^18 |
23000 |
22.841 |
23056 |
0,24% |
2^20 |
82025 |
81519 |
82119 |
0,11% |
2^22 |
295947 |
294353 |
296086 |
0,047% |
2^24 |
1077871 |
1073018 |
1078178 |
0,028% |
2^26 |
3957809 |
3942518 |
3958278 |
0,0118% |
2^28 |
14630843 |
14582447 |
14631660 |
0,00558% |
2^30 |
54400028 |
54244684 |
54401277 |
0,00229% |
2^32 |
203280221 |
202777307 |
203283743 |
0,00173% |
2^34 |
762939111 |
761282670 |
762943858 |
6,22 e-4% |
2^36 |
2874398515 |
2868894100 |
2874411028 |
4,35 e-4% |
2^38 |
10866266172 |
10847763358 |
10866287179 |
1,93 e-4% |
2^40 |
41203088796 |
41140322812 |
41203127190 |
9,318 e-5% |
2^42 |
156661034233 |
156446289948 |
156661087433 |
3,395 e-5% |
2^44 |
597116381732 |
596376100156 |
597116504059 |
2,0486 e-5% |
2^46 |
2280998753949 |
2278428606753 |
2280998901761 |
6,480 e-6% |
2^48 |
8731188863470 |
8722209186967 |
8731189492312 |
7,20 e-6% |
2^50 |
33483379603407 |
33451819731490 |
33483380608016 |
3,00 e-6% |
2^52 |
128625503610475 |
128513987322140 |
128625504950092 |
1,041 e-6% |
2^54 |
494890204904784 |
494494217586814 |
494890210114268 |
1,05 e-6% |
2^56 |
1906879381028850 |
1905466805129420 |
1906879387367592 |
3,324 e-7% |
2^58 |
7357400267843990 |
7352339978156042 |
7357400282019924 |
1,926 e-7% |
2^60 |
28423094496953330 |
28404895655494853 |
28423094518060616 |
7,426 e-8% |
It should be noted that in this work we have not modified the PNT but rather the way in which we use it. For example, to apply it to a value X, we do not use X/ln(X) directly, but we arrive at X by applying said theorem several times (
-1 times) as indicated by equation (3); or in a single step - knowing the value of
- to find
as indicated by equation (2).
Now we are going to address the issue of the error with which the PNT approximates the value of π(x); we focus on expression (2).
- We will assume that between n2 y (n+1)2 equation (2) will approximate the number of primes with the greatest possible error. This can happeCase 1: when between n2 and (n+1)2 the density of primes is the minimum possible.
- Case 2: when between n2 and (n+1)2 the density of primes is the maximum possible.
Case 1:
Legendre's conjecture [8], proposed by Adrien-Marie Legendre states that there is always at least one prime number between n2 and (n+1)2.
Equation (2) estimates that between n2 and (n+1)2 there are
primes, therefore, when the density of primes is the minimum possible the error will be:
Case 2:
Equation (2) estimates that
But, now assuming that between n2 and (n+1)2 the density of primes will be the maximum possible, we double the previous result supposing that:
However,
the latter being the estimate for made by the PNT, taking those places from the origin of coordinates.
Therefore, the maximum density of primes assumed between n2 and (n+1)2, exceeds reality, since unlike what happens from the origin, after n2 all primes ≤ n appear spreading their multiples in the gap given by 2n+1. So, the error, in case 2, will be less than the additional of
Now, unifying the treatment of cases 1 and 2, we say that the error in the counting of primes - approximated by the PNT (using equation (2))- is, in absolute value, the following:
On the other hand, we know that Helge von Koch demonstrated in 1901 that, if and only if the Riemann hypothesis holds, it is:
A refined variant of Koch's result, given by Lowell Schoenfeld in 1976, states that the Riemann hypothesis is equivalent to the following result:
for each x ≥ 2657 (5)
In equation (4) we make
∴ is:
In equation (4) we make
here we make
∴ is:
Finally, we compare (4.1) and (5)
So, we have that:
Therefore, it is:
This means that the statement made by Lowell Schoenfeld in 1976, that the Riemann hypothesis is equivalent to proving that PNT approximates the value of
with an error
for all x≥2657, it is satisfied since x ≥1200. Thus, this work reinforces and shows the veracity of the RH.
Discussion and conclusion
According to the Riemann hypothesis, the density of primes decreases according to the prime number theorem (PNT). The PNT determines the average distribution of the primes, and the Riemann hypothesis tells us about the deviation from the average. Formulated in Riemann's 1859 paper, it asserts that all the 'non-obvious' zeros of the zeta function are complex numbers with real part 1/2.
This work aims to prove that the Riemann Hypothesis (RH) is true, and this would have far-reaching consequences for number theory and the use of primes in cryptography. For example (assuming RH), the Miller–Rabin primality test [9], is guaranteed to run in polynomial time.