The Gaps between Primes

Abstract

The union of the straight and—of the over a point of reflection—reflected union of the series of the arithmetic progression of primes results the double density of occupation of integer positions by multiples of the primes. The remaining free positions represent diads of equidistant primes to the point of reflection: in case the point of reflection is an even number, they satisfy Goldbach’s conjecture. Further, it allows to prove, that the number of twin primes is unlimited. The number of all greater gaps as two between primes has well defined lower limit functions as well: it is evaluated with the local density of diads, multiplied with the total of the density of no-primes of all positions over the distance between the components of the diads (the size of the gaps). The infinity of these lower limit functions proves the infinity of the number of gaps of any size between primes. The connection of the infinite number of diads to the infinity of the number of gaps of any size is the aim of the paper.

Keywords

Share and Cite:

Doroszlai, P. and Keller, H. (2022) The Gaps between Primes. Advances in Pure Mathematics, 12, 757-771. doi: 10.4236/apm.2022.1212058.

1. Introduction

Some of the unsolved problems of number theory are related to the equidistance of two primes to a midway point. Such is the infinite set of twin primes equidistantly placed around the series of multiples of six and the infinite sets of any two primes equidistantly placed around an even number composing diads and satisfying Goldbach’s conjecture.

The present paper gives the analysis of the number of diads with no primes in between their components, composing gaps: the number of diads composed by consecutive primes. The formula representing the number of diads must be modified correspondingly with the density of no-primes within the gaps. This extension of the number of diads by the density of no-primes within the gap of the components of the diads is the main topic of the present paper. It gives the proof in detail, that the infinity of the number of gaps of any size is based on the infinity of the number of diads of any size, as already stated in reference .

First the simplification of the integral of the density of primes resulting the prime-number-formula—as given in detail in reference  —is given shorted.

Secondly the same method applied to the symmetric series of the union of the sets of multiples of primes—given in detail in reference  —is shortly repeated. Reflecting of the union of the series of multiples of primes around a midway point creates a symmetric assembly. The infinity of the sum of the remaining free integer positions representing primes allows to analyze and solve unsolved problems, such as Goldbach’s conjecture, the infinity of the number of twin primes and the presence of primes within the section of the size equal to the square root of the distance to the origin, following any distance, as given in ref. .

Third the infinity of the sum of the number of primes symmetrically placed around the central point—composing diads—is used to prove the infinity of the sum of the gaps of any size between primes: by inserting into the formula of the sum of diads and into the low limit of this sum the probability of no-primes between the components of the diads. Because the effect of the probability of no-primes approaches unity for distances rising to infinity, the number of gaps of any size approaches the number of diads, as already stated in ref. .

Because the infinity of the sum of prime gaps of any size is an extension of the infinity of twins to larger gaps, the infinity of the twins—given in detail in reference  —is shortly repeated in Annex 1. The most important results of the analysis of the infinity of the sum of prime gaps of any size are checked and illustrated in Annex 2 with numeric results.

Similar work by Zhang ref.   is non-conclusive following notes from Green ref. . Another remarkable approach to prove the infinity of the number of gaps of any size is given by Vega, ref. .

2. Density of Occupation of Subsets of All Integers by the Union of the Series of Multiples of Primes

De la Valée Poussin proved 1899, that ( $\pi \left(c\right)\approx Li\left(c\right)$ ), the integral of the local logarithmic density ( $1/\mathrm{ln}\left(c\right)$ ) of positions free of multiples of all smaller primes, up to the square roots of the distance. Approximating the integral by the sum of the logarithmic density over all integers—see (ref. )—is in the following named as sum over all integers:

$\pi \left(c\right)=Li\left(c\right)+O\left(c\right)\approx \underset{2}{\overset{c}{\int }}\frac{1}{\mathrm{ln}\left(c\right)}\text{d}c$ ; ${\pi }_{appr}\left(c\right)\approx \underset{n=2}{\overset{c}{\sum }}\frac{1}{\mathrm{ln}\left(c\right)}$ (1.1)

This above sum written as summing up first over all integers within the sections of the length ( $\sqrt{c}$ ) and then summing up over all the ( $\sqrt{c}$ ) sections of the length ( $\sqrt{c}$ ), then taking the average value over each section and summing up over all the sections is a first simplification—in the following used as sum over all sections—gives:

${\pi }_{appr}\left(c\right)\approx \underset{n=2}{\overset{c}{\sum }}\frac{1}{\mathrm{ln}\left(c\right)}=\underset{j=2}{\overset{\sqrt{c}}{\sum }}\left[\underset{n=\left(j-1\right)\cdot \sqrt{c}}{\overset{j\sqrt{c}}{\sum }}\frac{1}{\mathrm{ln}\left(c\right)}\right]\approx \underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{\sqrt{c}}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}$ (1.2)

Taking for each of the sections the smallest value of the density—at the upper limit of the sections ( $j=\sqrt{c}$ )—results the low limit of the number of primes: the well proven prime-number-formula PNF, as second simplification of the above approximation of the integral in (1.1).

$\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{\sqrt{c}}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}>{\pi }_{PNF}\left(c\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{\sqrt{c}}{\mathrm{ln}\left(\sqrt{c}\cdot \sqrt{c}\right)}=\frac{c}{\mathrm{ln}\left(c\right)}=S\left(c\right)$ (1.3)

Taking for each of the sections the largest value of the density at ( $j=1$ ) gives the upper limit of the number of primes:

$\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{\sqrt{c}}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}<\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{\sqrt{c}}{\mathrm{ln}\left(1\cdot \sqrt{c}\right)}=\frac{c}{\mathrm{ln}\left(\sqrt{c}\right)}=2\cdot S\left(c\right)$ (1.4)

Reflecting the series of multiples of any prime over a point at the distance (c) from the origin results the double density of occupation by the series of multiples of the prime considered, presumed the prime is not a dividend of the distance (c). The union of the series of multiples of all primes up to ( $\sqrt{c}$ ) leaves positions free, representing equidistant primes to the point of the reflection. If the point of reflection is a prime, then the positions left free by the double density of occupation represent primes, which are equidistantly placed around the point of reflection. This, because the straight and the reflected series of multiples of each prime are mutually exclusive. The remaining free positions are composing diads. If a prime is a dividend of (c), then the reflection of the series of multiples of this prime does not change the occupation of integer position: Therefore, the double density of occupation by the union of the series of multiples all primes up to ( $\sqrt{c}$ ) leaves the smallest number of positions free.

The local density of free positions left at the distance (d, $2 ) below the

point of reflection by the straight series of multiples is ( $\frac{1}{\mathrm{ln}\left(c-d\right)}$ ), above the point of reflection by the reflected series is ( $\frac{1}{\mathrm{ln}\left(c+d\right)}$ ). The combined local

density of free positions is, as elaborated in detail in ref. , with the constant ( ${\delta }_{2}:=1.32032$ ) (This constant has the double value of the twin prime constant (C2) defined by G. H. Hardy and John Littlewood):

${D}_{diad}\left(c,d\right)=\frac{{\delta }_{2}}{\mathrm{ln}\left(c-d\right)\cdot \mathrm{ln}\left(c+d\right)}>\frac{{\delta }_{2}}{\mathrm{ln}{\left(c\right)}^{2}}$ (1.5)

Similarly to the evaluation of the number of primes as simplification of the integral of the local logarithmic density of primes in (1.2), the best estimate of the total number of diads results as simplification of the integral of this above density by taking the sum over all integers (This same generalization from the primes to the twins, respectively to the k-tuples was made already by G. H. Hardy and John Littlewood):

${\pi }_{diad_appr_}\left(c\right)\approx \underset{n=1}{\overset{c}{\sum }}\frac{{\delta }_{2}}{\mathrm{ln}\left(n\cdot \sqrt{c}\right)\cdot \mathrm{ln}\left(2\cdot c-n\cdot \sqrt{c}\right)}$ (1.6)

This above sum may be written as summing up first over all integers within the sections of the length ( $\sqrt{c}$ ) and then summing up over all the ( $\sqrt{c}$ ) sections of the length ( $\sqrt{c}$ ). Taking the average value over each section and—as a first simplification—summing up over the sections gives:

$\begin{array}{c}{\pi }_{diad_appr_}\left(c\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\underset{n=\left(j-1\right)\cdot \sqrt{c}}{\overset{j\cdot \sqrt{c}}{\sum }}\frac{{\delta }_{2}}{\mathrm{ln}\left(n\cdot \sqrt{c}\right)\cdot \mathrm{ln}\left(2\cdot c-n\cdot \sqrt{c}\right)}\\ =\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{{\delta }_{2}\cdot \sqrt{c}}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)\cdot \mathrm{ln}\left(2\cdot c-j\cdot \sqrt{c}\right)}\end{array}$ (1.7)

Similarly, to the second simplification in case of the primes in (1.4) the low limit of the best estimate number of diads results with the density taken for all sections of the length ( $\sqrt{c}$ ) with ( $j=\sqrt{c}$ ) at the upper limit of the sections, the diads-number-formula (DNF):

${\pi }_{diad_appr_low_}\left(c\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{{\delta }_{2}\cdot \sqrt{c}}{\mathrm{ln}\left(c\right)\cdot \mathrm{ln}\left(2\cdot c-c\right)}=\frac{{\delta }_{2}\cdot \sqrt{c}}{\mathrm{ln}{\left(c\right)}^{2}}\cdot \left(\underset{j=1}{\overset{\sqrt{c}}{\sum }}1\right)=\frac{{\delta }_{2}\cdot c}{\mathrm{ln}{\left(c\right)}^{2}}$ (1.8)

The upper limit of the best estimate number of diads results with the density taken for all sections of the length ( $\sqrt{c}$ ) with ( $j=1$ ) at the lower limit of the distance gives:

${\pi }_{diad_appr_high_}\left(c\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{{\delta }_{2}\cdot \sqrt{c}}{\mathrm{ln}\left(\sqrt{c}\right)\cdot \mathrm{ln}\left(2\cdot c-\sqrt{c}\right)}=\frac{2\cdot {\delta }_{2}\cdot \sqrt{c}}{\mathrm{ln}\left(c\right)\cdot \mathrm{ln}\left(2\cdot c-\sqrt{c}\right)}$ (1.9)

The diads-number-formula DNF allows to prove the infinity of the number of twin primes, see ref. . Twin primes are diads with a gap equal to two between their components. Because their number is growing to infinity with the distance, it offers the possibility to proof the infinity of the number of gaps of any size: the DNF must be modified for growing distances between consecutive primes for this purpose, taking account of the requirement, that the components of the diads are consecutive primes in this case.

The distances between the components of the diads in (1.7) may be subdivided is subsets with identical methods of the evaluation of the sum of the number of diads for each subset. Such subdivision is known to be applied to accelerate finding twins by Eratosthenes sieve. The definition of these subsets is the following:

Definition of subsets of all integers:

With the infinite number of integers ( $s\in ℤ$, $ℤ=1,2,3,\cdots ,\infty$ ) all integers are part of one of the following infinite subsets:

${N}_{su{b}_{\left(a,s\right)}}=\left\{a+s\cdot {P}_{\left(1\right)}\cdot {P}_{\left(2\right)};a=0,1,2,3,4,5\right\}$ (1.10)

All integers in the subsets for ( $a=0,2,3,4$ ) are divisible either by ( ${P}_{\left(1\right)}$ ), and/or by ( ${P}_{\left(2\right)}$ ). Therefore, all primes ( ${P}_{\left(m\right)},\left\{m=3,4,5,\cdots ,\infty \right\}$ ) are members of one

of the infinite subsets ( $a=1$ ) or ( $a=5$ ), having the distance ( $\frac{N}{2}=1$ ) to the members of the set ( $a=0$ ).

Members of the subset ( $a=0$ ) with one of their neighboring positions equal to a prime compose the infinite subsets of these subsets:

${N}_{su{b}_{\left(5,s\right)}}=\left\{a+s\cdot {P}_{\left(1\right)}\cdot {P}_{\left(2\right)};a=5;s\in ℤ\right\}$ ; ${N}_{su{b}_{\left(1,s\right)}}=\left\{a+s\cdot {P}_{\left(1\right)}\cdot {P}_{\left(2\right)};a=1;s\in ℤ\right\}$ (1.11)

Any two primes with the distance (N) between them compose diads. The distance between the primes composing the diads, (N) is the distance of the components, an even number. The center point of the distance of the components has the distance (c) to the origin and is named in the following the distance of the diads. The only condition is, that the half-distance of the components of any diad must be smaller, then the distance of the diad ( $N/2 ).

In the table below is listed, which values may take the distances of the components (N) of the diads belonging to one of the subsets ( $a=0,1,2,3,4,5$ ) and ( $s=0,1,2,3,4,5,\cdots$ ) corresponding to (1.11).

In case the center point of the diads is at the distance ( $c\left(a,s\right)=a+6\cdot s$ )—corresponding to the subsets (a)—the following distances of the components of the diads (N) are possible:

a $\frac{1}{2}\cdot N\left(a,s\right)$ $N\left(a,s\right)$

0 $a+1+6\cdot s=1,7,13,19,\cdots$ $2,14,26,38,\cdots$ (1.12)

0 $a-1+6\cdot s=5,11,17,23,\cdots$ $10,22,34,46,\cdots$

1 $a-1+6\cdot s=6,12,18,24,\cdots$ $12,24,36,48,\cdots$ (1.13)

2 $a+1+6\cdot s=3,9,15,21,\cdots$ $6,18,30,42,\cdots$ (1.14)

3 $a+1+6\cdot s=4,10,16,22,\cdots$ $8,20,32,44,\cdots$ (1.15)

3 $a-1+6\cdot s=2,8,14,20,\cdots$ $4,16,28,40,\cdots$

4 $a+1+6\cdot s=3,9,15,21,\cdots$ $6,18,30,42,\cdots$ (1.16)

5 $a-1+6\cdot s=6,12,18,24,\cdots$ $12,24,36,48,\cdots$ (1.17)

This way the center point ( $c\left(0,s\right)$ ) is equal to the smallest positive integers with potential prime positions both sides at the distance ( $N/2=1$ ), meaning twins. The set of the distances of the components of the diads (N) covers the set of all even integers. The sets of the distances for ( $a=1$ ) with ( $a=5$ ) as well as the sets for ( $a=2$ ) with ( $a=4$ ) are identical.

If the components of the diads are consecutive primes, then the corresponding distance of the components is equal to a prime gap. The number of diads—at growing distance, with the corresponding even number as distance of their components—is unlimited. With (1.8) in ref.  the low limit of the number of diads—including twin primes—is given by the diads-number-formula and grows to infinity.

The best estimate number and the low limit of diads are evaluated in (1.7) and (1.8) as sum over all sections of the length ( $\sqrt{c}$ ). The same formula written for any of the group of distances ( $c\left(a,s\right)$ ) gives:

${\pi }_{diad_appr_}\left(c\left(a,s\right)\right)=\underset{j=1}{\overset{\sqrt{c\left(a,s\right)}}{\sum }}\frac{{\delta }_{2}\cdot \sqrt{c\left(a,s\right)}}{\mathrm{ln}\left(j\cdot \sqrt{c\left(a,s\right)}\right)\cdot \mathrm{ln}\left(2\cdot c\left(a,s\right)-j\cdot \sqrt{c\left(a,s\right)}\right)}$ (1.18)

${\pi }_{diad_appr_low}\left(c\left(a,s\right)\right)=\underset{j=1}{\overset{\sqrt{c\left(a,s\right)}}{\sum }}\frac{{\delta }_{2}\cdot \sqrt{c\left(a,s\right)}}{\mathrm{ln}{\left(\sqrt{c\left(a,s\right)}\right)}^{2}}=\frac{{\delta }_{2}}{4}\cdot R{\left(c\left(a,s\right)\right)}^{2}$

If between ( $c\left(a,s\right)-\frac{N}{2}$ ) and ( $c\left(a,s\right)+\frac{N}{2}$ ) there are no primes, then the diads represents a gap between consecutive primes.

As an example, for the diads the twin primes are evaluated as a special case of

(1.3), with ( $\frac{N}{2}=1$ ). In this case there are no primes within the gaps. For

( $c\left(0,s\right)=6\cdot s$ ) the density of occupation of twins is:

${D}_{Tw_free}\left(c,j\right)=\frac{{\delta }_{2}}{\mathrm{ln}\left(j\cdot \sqrt{c}-1\right)\cdot \mathrm{ln}\left(j\cdot \sqrt{c}+1\right)}$ (1.19)

The approximating function of the total number of twins up to (c), with density in case of the double occupation by the union of the series of multiples of the primes and with the factor of correction gives the twin-number-formula:

$T{W}_{appr_}\left(c\right)={\delta }_{2}\sqrt{c}\cdot \underset{j=1}{\overset{\sqrt{c}}{\sum }}{D}_{tw_free}\left(c,j\right)>TW\left(c\right)=\frac{{\delta }_{2}\cdot c}{\mathrm{ln}{\left(c\right)}^{2}}$ (1.20)

The evaluation and the comparison with the effective number twins are carried out in ref. . Because of the implication of the number of twins to the number of gaps of any size, the evaluation is given in the present paper as well, in Annex 1.

The number of diads (1.18) gives the number of potential gaps. The density of

primes at any point (c) inside the gap is ( $\frac{1}{\mathrm{ln}\left(c\right)}$ ). The density of points being no-primes is ( $1-\frac{1}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}$ ). The combined density of two points being no-primes

is the product of the density at each point. The combined density of all no-primes within the gaps is the product of the density of all points within the gap:

( ${\left(1-\frac{1}{\mathrm{ln}\left(c\right)}\right)}^{N-1}$ ).Herewith the density of gaps is the product of the density of diads and the density of no-primes

${D}_{gap}\left(c,j,N\right)=\frac{{\delta }_{2}}{\mathrm{ln}\left(j\cdot \sqrt{c}-\frac{N}{2}\right)\cdot \mathrm{ln}\left(j\cdot \sqrt{c}+\frac{N}{2}\right)}\cdot {\left(1-\frac{1}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}\right)}^{N-1}$ (1.21)

The approximating number of gaps of a given size (N) is evaluated—analogue to (1.18)—as sum over all sections of the length ( $\sqrt{c}$ ) of the density values, as follows:

${\pi }_{gap_appr}\left(c,N\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\sqrt{c}\cdot \left({D}_{gap}\left(c,j,N\right)\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{{\delta }_{2}\cdot \sqrt{c}\cdot {\left(1-\frac{1}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}\right)}^{N-1}}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)\cdot \mathrm{ln}\left(2\cdot c-j\cdot \sqrt{c}\right)}$ (1.22)

The low limit of the number of gaps is evaluated analogue to the well proven prime-number-formula PNF with (1.3) and the diads-number-formula DNF with (1.8) as second simplification. Therefore, it may be considered as proven as well. Taking with (1.8) for each of the sections the smallest value of the density of diads at ( $j=\sqrt{c}$ ), respectively the density of no-primes at ( $j=1$ ) yields the gap-number-formula GNF:

${\pi }_{gap_appr_low}\left(c,N\right)=\frac{{\delta }_{2}\cdot \sqrt{c}\cdot {\left(1-\frac{1}{\mathrm{ln}\left(\sqrt{c}\right)}\right)}^{N-1}}{\mathrm{ln}{\left(c\right)}^{2}}\cdot \underset{j=1}{\overset{\sqrt{c}}{\sum }}1=\frac{{\delta }_{2}\cdot c\cdot {\left(1-\frac{1}{\mathrm{ln}\left(\sqrt{c}\right)}\right)}^{N-1}}{\mathrm{ln}{\left(c\right)}^{2}}$ (1.23)

Lemma 1.1:

The density of no-gaps between any bounded size of diads approaches unity for distances growing to infinity.

Proof: The limit of the number of no-primes within each gap is (1.22), it is approaching unity:

$\underset{c\to \infty }{lim}{\left(1-\frac{1}{\mathrm{ln}\left(\sqrt{c}\right)}\right)}^{N-1}=1$ (1.24)

as stated in the lemma and concluding the proof.

Therefore, the number of the gaps approaches the number of the diads for distances growing to infinity and the gaps-number-formula as low limit of the number of gaps grows to infinity, like the number of the diads, as proved in ref. .

The number of the gaps of the size (N) within the sections of the size ( $\sqrt{c}$ ) is

limited to ( $\frac{\sqrt{c}}{N}$ ). This number outgrows the number of the primes within the section ( $\frac{\sqrt{c}}{\mathrm{ln}\left(c\right)}$ ) for distances over ( ${c}_{lim}$ ):

$\frac{\sqrt{c}}{N}>\frac{\sqrt{c}}{\mathrm{ln}\left(c\right)}$ for ( $c>{c}_{lim}={\text{e}}^{N}$ ) (1.25)

The effective number of gaps of a given size is evaluated in Annex 2 on the condition, that any diad representing a gap is composed by consecutive primes. The comparison of the effective number of gaps with its approximation requests the introduction of two constants in Equations (1.22) and (1.23):

$\begin{array}{l}{\pi }_{gap_appr}\left(c,N\right)=\underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{{K}_{1}\cdot {\delta }_{2}\cdot \sqrt{c}\cdot {\left(1-\frac{1}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}\right)}^{{K}_{2}\cdot \left(N-1\right)}}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)\cdot \mathrm{ln}\left(2\cdot c-j\cdot \sqrt{c}\right)};\\ {\pi }_{gap_appr_low}\left(c,N\right)=\frac{{K}_{1}\cdot {\delta }_{2}\cdot \sqrt{c}\cdot {\left(1-\frac{1}{\mathrm{ln}\left(\sqrt{c}\right)}\right)}^{{K}_{2}\cdot \left(N-1\right)}}{\mathrm{ln}{\left(c\right)}^{2}}\end{array}$ (1.26)

The introduction of the two constants ( ${K}_{1}\ge 2$ ) and ( ${K}_{2}=\frac{5}{4}$ ) in the formula

results from the comparison with the effective number of the gaps in Annex 2. These constants do not influence the fact of the infinity of the number of the gaps.

The approximation as best estimate and the effective number of the gaps of the sizes:

( $N\left(a,s\right)=2,14,26,38,50,62,74,86,98,110,122,134$ )—with the set defined as ( $a=1$, $s=1,\cdots ,12$ )—over the distance is evaluated in Annex 2 using the routines given in FigureA2.1. Because all other sets (1.13) through (1.17) are similar, it is sufficient to conduct the analysis for one set alone.

The number of the gaps for large distances approaches the number of the diads (1.24), as illustrated in the comparison of the effective number of the gaps of the sizes defined above, in the FigureA2.4. The effective rise of the number of the gaps of any size with the distance in these figures allows to formulate the following lemma:

Lemma 1.2:

The number of gaps of any size is rising without limit over the distance.

Proof: Within the sections of the size ( $\sqrt{c}$ ) the upper limit of the number of the gaps of any size (N) is:

${\pi }_{gap_section_lim}\left(N,c\right)=\frac{\sqrt{c}}{N}$

In case the number of primes within the same section—resulting from the prime-number-formula—is smaller than this number, there may be a gap of the size (N) up to this distance. The distance growing to infinity, the number of the gaps of this size will grow to infinite as well:

( $\frac{\sqrt{c}}{\mathrm{ln}\left(c-{c}_{lim}\right)}>\frac{\sqrt{c}}{N}>\frac{\sqrt{c}}{\mathrm{ln}\left(c\right)}$ ) or ( $\mathrm{ln}\left({c}_{lim}\right)>N>\mathrm{ln}\left(c-{c}_{lim}\right)$ )

This condition corresponds to the condition, that the average distance between primes at (c) is greater than (N):

( $\frac{\sqrt{c}}{\frac{\sqrt{c}}{\mathrm{ln}\left(c\right)}}=\mathrm{ln}\left(c\right)$ ) or ( $\mathrm{ln}\left({c}_{lim}\right)>N$ )

For large distances, the relative difference between the effective number of primes to the value of the prime-number-formula, respectively between its best estimate value to the value of the PNF is approaching zero. The dispersion does not influence this fact. Therefore, in case the distance (c) is growing to infinity over the above limit ( $N<\mathrm{ln}\left(c\right)$, $c\ge {c}_{lim}$ ), there are infinite numbers of gaps of the size (N), as stated in the lemma and concluding the proof.

The factor ( ${K}_{1}$ ) in Equation (1.22) has a value close to (2) for all gaps being equal to the product of two primes, as evaluated in (A2.2). If the value of the gaps has more prime dividends as two, the factor is greater, as shown in FigureA2.2.

The total number of the gaps over the distance up to (c) is evaluated in (1.22) by summing up the number of the gaps within the sections of the size ( $\sqrt{c}$ ). The evolution of the low limit of the numbers of the gaps within the sections—relative to their values at the largest distance considered in the analysis—is illustrated in FigureA2.4. Obviously, this numbers have a decreasing tendency only for the twins ( $N=2$ ) and have rising tendency for all greater gaps. This, because the number of twins within the sections, relative to the final value is decreases with the density of the primes. The same relative number for gaps of rising sizes occurs first for sufficiently large sizes of the sections of the size ( $\sqrt{c}$ ) and is growing with the size of the sections. For larger gaps this second effect is dominant.

3. Conclusions

With the infinity of the best estimate of the sum of the number of diads (1.6), proved in ref. , the first Hardy—Littlewood conjecture is proved. The connection from the number of diads to the gaps between primes by the introduction of the density of no-primes is new in the present paper. As proved, the low limit of the number of gaps is the number of diads, therefore the number of gaps of any size is growing to infinity with the distance.

The definition and the use of the double density of occupation of the set of integer positions by the union of the straight and reflected series of multiples primes are given in ref. , to prove the infinity of the number of gaps of any size, between primes is new and conclusive.

Annexes

Annex 0. General Data, Vectors, and Functions

In the following annexes all above formula are checked with numeric examples. The set of primes and the listed known formula below are used for the checking. Some vectors of the results of the known formula, which are often used, are evaluated and the results are saved.

The set of primes is read from a file: ( $P=\text{READPRN}\left("\text{Primes}_\text{large}\text{.prn}"\right)$ ). The number of primes in the set and their numbering are: ( ${N}_{P}=rows\left(P\right)-1=5003713$, $n=1,2,\cdots ,{N}_{P}$ ).

For the evaluation of the number of free positions up to the distance (c) the routine ( ${n}_{next}\left(c,{n}_{last}\right)$ ) resulting the index (n) of the prime next to any integer is needed ( ${P}_{\left(n\right)}\le c<{P}_{\left(n+1\right)}$ ). The evaluation starts either at the last evaluated index ( ${n}_{last}$ ), or at the index resulting from the prime-number-formula. This, to shorten some of the evaluation processes. Further functions are the indexes of the closest primes to any distance, and to the square root of any distance: $\begin{array}{l}{R}_{eff}\left(c\right)={n}_{next}\left(\sqrt{c},1\right)\\ {S}_{eff}\left(c\right)={n}_{next}\left(c,1\right)\end{array}$ (A0.1)

In the following all functions, which are evaluated for illustration, are evaluated at sparse distances, equal to multiples of the square root of the largest distance

considered ( ${c}_{s{p}_{\left(k\right)}}=k\cdot \sqrt{{P}_{\left({N}_{P}\right)}}$ ), resp. at the next smaller prime ( ${P}_{\left({n}_{s{p}_{\left(k\right)}}\right)}<{c}_{s{p}_{\left(k\right)}}<{P}_{\left({n}_{s{p}_{\left(k+1\right)}}\right)}$ ):

$\begin{array}{l}\Delta {c}_{sp}=\sqrt{{P}_{\left({N}_{P}\right)}};\text{\hspace{0.17em}}{k}_{lim}=\frac{{P}_{\left({N}_{P}\right)}}{\Delta {c}_{sp}}-1;\text{\hspace{0.17em}}k=1,2,\cdots ,{k}_{lim};\\ {c}_{s{p}_{\left(k\right)}}=k\cdot \Delta {c}_{sp};\text{\hspace{0.17em}}{c}_{s{p}_{\left(0\right)}}=2\end{array}$ (A0.2)

The vector of the indexes of the next smaller primes to these sparse distances are evaluated once and written to a file. They are read from this file:

${n}_{s{p}_{\left(k\right)}}={s}_{eff}\left({c}_{s{p}_{\left(k\right)}}\right)$ (A0.3)

They are evaluated once and written to files. They are read from these files:

$\text{WRITEPRN}\left("\text{index}_\text{sparse}_\text{primes}\text{.prn}"\right)={n}_{sp}$ ;

$P=\text{READPRN}\left("\text{index}_\text{sparse}_\text{primes}\text{.prn}"\right)$

Annex 1. The Approximation of Twin Primes and Their Dispersion

The components of twin primes are always adjacent to multiples of (6). Primes with gaps equal to (4) are always at the distance (2) away from multiples of (6) plus (3). These gaps between primes are always free of primes as well. The total number of all these gaps has well defined best estimate functions, with well defined lower limit functions. The infinity of the number of diads—analyzed in reference  —proves the infinity of twin primes, as shortly repeated in the following.

The evaluation procedure of the best estimate number of twin primes is given below.

${\pi }_{gap_appr_2}\left(c\right)={\delta }_{2}\cdot \sqrt{c}\cdot \underset{j=1}{\overset{\sqrt{c}}{\sum }}\frac{1}{\mathrm{ln}{\left(j\cdot \sqrt{c}\right)}^{2}}$ (A1.1)

The vector of the effective number of twin primes is evaluated elsewhere and the results are written to a file. They are read from this file:

${\pi }_{gap_eff_2_sp}=\text{READPRN}\left("\text{k}_\text{TW}_\text{eff}_\text{sp}\text{.prn}"\right)$ ;

$k{k}_{lim}=length\left({\pi }_{gap_eff_2_sp}\right)-1=9277$ (A1.2)

$kk=2,\cdots ,k{k}_{lim}$ ; $k{k}_{lim}=9277$ ; ${c}_{s{p}_{\left(kk\right)}}=kk\cdot \Delta {c}_{sp}$ : ${c}_{s{p}_{\left(0\right)}}=2$

The vector of the best estimating, approximating number of the twin primes is evaluated at sparse distances with (A1.1) and the results are written to a file. They are read from this file:

${\pi }_{gap_appr_2_s{p}_{\left(kk\right)}}={\pi }_{gap_appr_2_}\left({c}_{s{p}_{\left(kk\right)}}\right)$ (A1.3)

$\text{WRITEPRN}\left("\text{tw}_\text{appr}_\text{sp}\text{.prn}"\right)={\pi }_{gap_appr_2_sp}$ ;

${\pi }_{gap_appr_2_sp}=\text{READPRN}\left("\text{tw}_\text{appr}_\text{sp}\text{.prn}"\right)$

The difference between the effective number of twins and their approximating function is:

$\Delta T{W}_{s{p}_{\left(kk\right)}}={\pi }_{gap_eff_2_s{p}_{\left(kk\right)}}-{\pi }_{gap_appr_2_s{p}_{\left(kk\right)}}$ ;

$length\left({\pi }_{gap_appr_2_sp}\right)-1=9277$ (A1.4)

The relative dispersion around the approximating function ( $T{W}_{appr}\left(c\right)$ )—starting with ( $k{k}_{start}=6000$ )—are illustrated in the figures below. The start value is chosen, to avoid the larger initial deviation in case of smaller distances.

$\Delta T{W}_{rel_TW}=\frac{\Delta TW\left(c\right)}{T{W}_{appr}\left(c\right)}$ ; $\Delta T{W}_{rel_TW_s{p}_{\left(kk\right)}}=\frac{\Delta T{W}_{s{p}_{\left(kk\right)}}}{{\pi }_{gap_appr_2_s{p}_{\left(kk\right)}}}$ (A1.5)

The standard deviation of the relative dispersion of the number of twin primes around its approximating function and around the approximating number of twins ( $T{W}_{appr}\left(c\right)$ ) are in the range ( $kk=k{k}_{start}+1,\cdots ,k{k}_{lim-1}$ ):

$S{D}_{\Delta TW_rel_T{W}_{\left(kk\right)}}=\sqrt{\frac{1}{kk-k{k}_{start}}\cdot \underset{j=k{k}_{start}}{\overset{kk}{\sum }}{\left(\Delta T{W}_{rel_TW_s{p}_{\left(j\right)}}\right)}^{2}}$ (A1.6)

The factor of proportionality for the standard deviation of the twin primes is approaching a constant value:

${F}_{SD_\Delta TW_TW}=S{D}_{\Delta TW_rel_T{W}_{\left(k{k}_{lim}-1\right)}}=0.0001702$ (A1.7)

$\Delta S{D}_{\Delta TW_rel_F_S{D}_{\left(kk\right)}}=S{D}_{\Delta TW_rel_T{W}_{\left(kk\right)}}-{F}_{SD_\Delta TW_TW}$

The standard deviation of the dispersion of the number of twins is therefore about 0.02% of the value of the approximating function (FigureA1.1).

Figure A1.1. Dispersion of the effective number of twins around its approximating function, its limiting boundaries at sparse distances and its standard deviation.

Annex 2. Analysis of the Prime Gaps of a Given Size

The effective number of gaps of the sizes ( ${N}_{\left(s\right)}$, ${s}_{lim}:=14$, $s:=1,\cdots ,{s}_{lim}$ ) are evaluated for the first set—defined in (1.12)—on the condition, that the difference between consecutive primes is equal to ( ${N}_{\left(s\right)}=\left(s-1\right)\cdot 12+1$ ). The best estimate approximating number of the gaps of the same sizes is evaluated for the same set with (1.22) with the following formula and the programs in FigureA2.1:

Figure A2.1. Routines for the evaluation of the effective number of gaps and of its approximation.

${F}_{section}\left(k,j,s\right):={\left[1-\frac{1}{\mathrm{ln}\left[j\cdot \sqrt{{c}_{s{p}_{\left(k\right)}}}\right]}\right]}^{{K}_{2}\cdot \left[{N}_{\left(s\right)}\right]}$ (A2.1)

${\pi }_{gap_appr}\left(k,s\right):={\delta }_{2}\cdot \sqrt{{c}_{s{p}_{\left(k\right)}}}\cdot \underset{j=1}{\overset{floor\left[\sqrt{{c}_{s{p}_{\left(k\right)}}}\right]}{\sum }}\left[\frac{{F}_{section}\left(k,j,s\right)}{\mathrm{ln}{\left[j\cdot \sqrt{{c}_{s{p}_{\left(k\right)}}}\right]}^{2}}\right]$

The time-consuming evaluation is carried out once and the results are written to files to be read at each evaluation of the present paper:

$\text{WRITEPRN}\left("\text{total}_\text{gap}_\text{eff}_\text{sp}\text{.prn}"\right):={\pi }_{gap_eff_sp}$

${\pi }_{gap_eff_sp}:=\text{READPRN}\left("\text{total}_\text{gap}_\text{eff}_\text{sp}\text{.prn}"\right)$

$\text{WRITEPRN}\left("\text{total}_\text{gap}_\text{appr}_\text{sp}\text{.prn}"\right):={\pi }_{gap_appr_sp}$

${\pi }_{gap_appr_sp}:=\text{READPRN}\left("\text{total}_\text{gap}_\text{appr}_\text{sp}\text{.prn}"\right)$

The factors of multiplication ( ${K}_{1}$ ) adjusting the best estimate values of the approximation to the effective values of the number of the gaps (A2.1) are evaluated and written to a file. They are read from this file and illustrated in the FigureA2.2 ( ${K}_{1}:=\text{READPRN}\left("\text{factor}_\text{K}1.\text{prn}"\right)$ ), ( $s:=1,\cdots ,length\left({K}_{1}\right)-1$ ). $s=1,\cdots ,length\left({K}_{1}\right)$ ; $N_\left(s\right)=12\cdot \left(s-1\right)+2$

${N}_{\left(s\right)}=N_\left(s\right)$ ; ${K}_{1_app{r}_{\left(\right)s}}=1.9$ ; ${K}_{1_appr}=1.9±0.25$ (A2.2)

The best estimate number of the gaps multiplied with these above factors and the comparison with the effective number are shown below in FigureA2.3:

${\pi }_{gap_appr_sp{_}_{\left(k,s\right)}}={K}_{{1}_{\left(s\right)}}\cdot {\pi }_{gap_appr_s{p}_{\left(k,s\right)}}$ (A2.3)

The number of the gaps within the sections of the length ( $\sqrt{c}$ ) and their lo limits are with (A2.1):

$\begin{array}{l}{F}_{section_}\left(c,j,s\right)=\frac{{\left(1-\frac{1}{\mathrm{ln}\left(j\cdot \sqrt{c}\right)}\right)}^{\frac{5}{4}\cdot \left({N}_{\left(s\right)}-1\right)}}{\mathrm{ln}{\left(j\cdot \sqrt{c}\right)}^{2}}\\ >{F}_{section_}\left(c,j,s\right)=\frac{{\left(1-\frac{1}{\mathrm{ln}\left(\sqrt{c}\right)}\right)}^{\frac{5}{4}\cdot \left({N}_{\left(s\right)}-1\right)}}{\mathrm{ln}{\left(c\right)}^{2}}\end{array}$ (A2.4)

The number of the gaps within the sections, relative to their value at the largest distance ( ${c}_{s{p}_{\left({k}_{lim}\right)}}$ ) considered in the present paper, are illustrated in FigureA2.4 for the first few sets:

${F}_{rel}\left(k,s\right)=\frac{{F}_{section_low}\left({c}_{s{p}_{\left(k\right)}},s\right)}{{F}_{section_low}\left({c}_{s{p}_{\left({k}_{lim}\right)}},s\right)}$ (A2.5)

Figure A2.2. The factor of multiplication of the number of gaps, over the size of the gaps.

Figure A2.3. The approximating and the effective number of the gaps of varied sizes.

Figure A2.4. The number of gaps within the sections, relative to their final value.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

  Doroszlai, P. and Keller, H. (2022) The Symmetric Series of Multiples of Primes. Advances in Pure Mathematics, 12, 160-177. https://doi.org/10.4236/apm.2022.123014  Doroszlai, P. and Keller, H. (2022) The Number of Primes. Advances in Pure Mathematics, 12, 81-95. https://doi.org/10.4236/apm.2022.122008  Zhang, Y.T. (2014). Bounded Gaps between Primes. Annals of Mathematics, 179, 1121-1174. https://doi.org/10.4007/annals.2014.179.3.7  Zhang, Y.T. (1019) Closing the Gap between Prime Numbers. Irish Times, Arithmetic, Number Theory.  Green, B. (2014) Bounded Gaps between Primes. arXiv:1402.4849.  Vega, F. (2022) The Smallest Gap between Primes. https://www.academia.edu/90709256/     customer@scirp.org +86 18163351462(WhatsApp) 1655362766  Paper Publishing WeChat 