Stay away from infinity
Never look it in the eye
Friedrich Gauss
1. Introduction
The symbol
(with
) from now on will symbolize the prime numbers. There are the definitions of the endless sequence of the prime numbers that will be symbolized as follows:
.
Let a random natural number
,
and let two more prime numbers
,
that are not equal to each other,
. At first, it will be shown the independency of the fact that “the random Natural number
, can be divided by the prime number
” from the fact that “the random Natural number
can be divided by the prime number
”. Let, also, without impairment of the generality of this proof, that
and
. Obviously, per 35 successive Natural numbers the 5 Natural numbers will be multiple of 7 and the 7 Natural numbers will be multiples of 5 and only one Natural number will be multiple of both 7 and 5. So, when selecting an Integer number
from the infinite multitude of Natural numbers, the information of the fact that “
is multiple of 7” does not interfere with the probability of the fact that “
is multiple of 5” because every five multiples of 7 there will be only one that can be divided once again by the prime number 5, regardless of the information of the first fact. The Natural number
will indeed belong to a group of thirty-five, if the multitude of Natural number N is divided into groups of thirty-five successive Natural numbers. Therefore, if the first fact, “
is multiple of 7”, is valid then
will belong to the group of 5 (of a group of 35) that are multiples of 7. This group of 5, however will include only one multiple of 5, therefore
will again have 1/5 probability of being multiple of 5, regardless of the information of the first fact that “it is multiple of 7”. The proof is obviously generalized with the same methodology for any of the prime number
,
, not equal to each other.
It should be underlined that the Natural number 0 is divided by every Natural number, even when selecting a random integer
, which will obviously have a probability equal to
of being divided by the prime number
. Here, the probability has the meaning of the appearance frequency of a subset of Natural numbers, so when stating that fact Γ is independent of the probability-frequency that is referring to the subset of these Natural numbers, defined; based on an activity-criterion of their selection, it is meant that fact Γ is independent from the activity-criterion of their selection.
Opposite to that now, the information “a Natural number
is divided by one non-prime number (compound) i.e. 18” immediately gives the information that
will be divided by all the prime numbers that divide 18, therefore by 2 and 3, since
, (or generally
). The sentence that was just shown is directly understood by writing the general form of a random Natural number
= v:
where
are Natural, non-zero numbers.
Therefore, the fact “
is divided by the prime number
” will be independent from the fact “the Natural number
is divided by the prime number
” if
. This will be name Proposition of Divisibility Independence (PDI), which as shown is valid for the set N of Natural numbers.
Every random element selection from a given set A will be called Catholic Selection (CS), a term from ancient Greek language. In addition, as Catholic information will be defined a set K of catholic (logical) propositions that will be valid for infinity CS elements from different appropriate subsets (of finite multitude) of a set A. For example, a set K consisting of finite multitude of relations (written in general form) among infinite elements of another set A. An example of a logical proposition (or simply a proposition) that is a Catholic Proposition (CP), due to the fact that it is valid for infinite elements in N, specifically for infinite pairs of multiples of two prime numbers each time, is the PDI. The set of all the CP, meaning the propositions of catholic cardinality in N, that can be proved using PDI will now defined as catholic information of PDI for N. Owing that in mathematics nothing happens without a reason, it is concluded that if an algorithm of creation of a set A with infinite multitude is proven that does not create a property (proposition) P that will be catholically valid in A, therefore not implied by this algorithm (a set of finite multitude propositions) that the proposition P (e.g. a non-random statistical distribution) is valid in A, then P will not be valid in A. This last sentence will be named Proposition of Catholic Information.
1.1. The Fundamental Principles of This Research
They are: 1) The introduction of “catholic information” that we introduced above. 2) The extraction of all possible catholic or general relationships for which we define to must being them valid in all parts of set of natural numbers N and not only for special parts [2] . So the catholic formulas must use alphanumerical (by general expression) symbols for their catholic variables. 3) The definition of two kinds of intervals which we here call silvers and darks respectively. 4) The statistical calculation of catholic multitude of twin prime numbers in set N that is a calculation until infinity.
1.2. About the Study
After the definitions mentioned above, we pay attention on analyze the proof of catholic relationships (2.1) and (4.18). In the basis of “catholic information” concept and by use of (2.1), (4.18) we solve the problem in two ways: First by compact calculation using the appearance frequencies of twins in N, and second by using the dark intervals of N, which are increasing their sizes by a monster rate and however they are have infinite multitude. In this last process we initially proof that if some intervals not includes twin primes then this hypothesis drives to the existence of one twin prime on every top of these intervals. Thus we again arrive on the same conclusion. In pages before the relation (4.20), we examine the stability of frequency of prime numbers appearance in a random “silver interval”, which is, a condition useful of validity of statistical calculations bellow.
1.3. Conclusions
Our conclusions from the below are: 1) The hypothesis of twin prime numbers is correct. 2) Maybe the concept of “catholic information” can be used as well in other Mathematical investigations. This concept is the other expression of fundamental proposition that “In mathematics nothing happens without reason”. This concept of “catholic information” maybe could be connected by Riemann hypothesis [3] [4] .
1.4. Twin Pairs
Here will be studied the twin pair problem. Let that an “honest” dice (in the shape of a normal hexagon) is thrown three consecutive times and the three consecutive positions are noted respectively A/B/Γ. Which twin pairs (meaning repetitions) of a particular number, i.e. of 5, are expected?
Answer [5] :
According to the sample space 6(6)6 = 216 facts there will be five cases of the form 5/5/C, where Γ is one of the results {1, 2, 3, 4, 6}, which has multitude of five. Similarly, there are five cases of the form Α/5/5, where Α is one of the results {1, 2, 3, 4, 6}, and only one is the 5/5/5. Due to the 10 first having 1 twin pair of 5, meaning one boundary “/” for the 5, and the last (one) case having 2 twin pairs, there will be altogether 10(1) + 1(2) = 12 total twin pairs in the 216 cases, and therefore the probability of twin pairs in A, B, Γ facts, (which is “the 5” in each one of the ordered throw) will be 12/216 = 1/18. On the other aspect of the counting method based on the probability
to get number 5 in a throw, there will be probability
for the twin pair of A, B and similarly 1/36 for the twin pair of B, Γ, so expected probability 1/36 + 1/36 = 2/36 = 1/18, which shows that in this example the two non-independent and at the same time non-incompatible facts
and
will be counting their respective percentages without considering their dependency and compatibility. The condition, however, for the proper counting is the independency of A, B, Γ which is true. Therefore, the expected multitude of twin pairs of 5 will be 216∙(1/18) = 12 cases of twin pairs, as found above. Generalizing the above problem for N successive throws of a (fair) dice the expected percentage of the twin pairs of the number 5, of the “fair” dice, for the N − 1 multitude of the boundaries “/” of the facts of the throws
would be:
(1.1)
One could try to prove this last relation in the case of a/b/c/d using the first method with the sample space. However, in this case the counting of the probability P0 will be completely different in order for at least one of the above facts X and Y to occur. This probability will be counted as follows:
The probability
above is 1/6, because when fact X occurred the information that the second pair has already given 5 is provided, so the
will correspond only to the probability “the third dice will be again 5”, and it is obviously 1/6. In the sample space of the 216 facts there will indeed be 5 + 5 + 1 = 11 of these cases (and not 12 as before), since 5 cases will be of the form 5/5/Γ, the other 5 of the form A/5/5 and only 1 will be 5/5/5. The reader perceives that the differentiator is the key phrase in the above sentence: at least one.
Coming to an end, by proving the independency of the events; the “divisibility of the random natural number
by the random prime number
(of its sub-sequence)” from the “divisibility of the random natural number
by the random prime number
(of its sub-sequence)” the definition of these two events independency will be repeated: Any two events Γ1 and Γ2 will be considered independent from each other in a set (their range) A, “if and only if the frequency-probability of the elements in A where Γ1 appears, is the same as the frequency-probability of the elements in A where Γ1 and Γ2 appear together (once each)” and additionally the last sentence (“…”) is valid if C1 and Γ2 are interchanged in it.
2. Specification of the Indefinite Frequency-Probability Appearance of Prime Numbers
A set
is taken as a sub-sequence of the interval
. The internal dm will be named Silver interval. It should also be clarified the reason why for the study of the natural numbers. The interval
will be named Silver Interval.
It should also be clarified the reason why in the study of natural number
the prime numbers
were chosen as elements of
the natural numbers with the characteristic: It is noticed that if the random natural number
is divided by another positive natural number
, then the quotient of this division, let natural number μ, will satisfy the relation
. It is obvious since
. In other words, if
was true, then it would be
, which is absurd. Therefore, if
has a divisor greater than
then it will also have a divisor smaller than
, which is followed by the fact that is a natural number
is not divided by none of the other prime numbers
, then it will not be divided by any other prime number greater than
. Because if this last statement were to be true, then according to the aforementioned facts there would be a divisor smaller than
, which would either be prime or it would be analyzed in product of prime numbers that are for sure smaller than
. The conclusion drawn is that in the case where
, does not have as a divisor a prime number smaller than
, then
is the prime number. Therefore, the prime numbers that define as possible divisors of
being prime, are only the prime numbers that are all smaller than its square root, which is the sub-sequence of prime numbers of
, that was defined above.
The probability
, that
is not divided by any of the elements of the sub-sequence of
(defining
) will be equal to the products of the probabilities not to be divided by
.
These probabilities will respectively be
, due to
the fact that
multitude events
that state respectively that the natural number
is divided by the prime numbers
of its sub-sequence, which according to PDI that was previously proven, per two events that are independent from each other. It is obvious that 1/2 is the probability of the natural number
, to be divided by 2, that is to be an even number with complimentary probability the 1 − (1/2) not to be divided by 2. Similarly, 1/3 is the probability of
to be divided by 3, while 1 − (1/3) is the complimentary probability to not be divided by 3 and so on for every term of the sub-sequence. The
, however are not every two exclusive events from each other, owning to the fact that the divisibility of the natural number
by a number of its sub-sequence do not exclude its ability to be divided by another term of that sub-sequence. For example, the natural number
has as a sub-sequence of prime numbers 2, 3, 5 and the fact that it can be divided by another of these three terms. It is indeed divided by the term 3. The probability
of the following Equation (2.1) is a unique enumerate of prime numbers, but (initially) in not-well-defined intervals. The following definition is derived from the available information of the production of infinite element of set N, provided that according to the definition of Shannon the probability
is another way of expressing information. Based on the fact that the events
are every two independent from each other, one concludes that the probability-frequency of appearance of all the events above will simply be the product of all their individual probabilities therefore one will obtain the relation.
(2.1)
It will, however be proven and in another way the relation (1.2) [5] . Let
the probability that the natural number
is divided with at least one term of the sub-sequence of its prime numbers. Then the probability not to be divided by any of its terms will obviously be complimentary of the probability:
(2.2)
The probability
, for the events
, that are per two independent to each other, which state that the given natural number
is divided, respectively, by the prime natural numbers
of its sub-sequence, is:
and because the facts
are as previously mentioned per two independent from each other, the relation above becomes
The second part of the equation in the last relation is due to the independency of the fact
. Similarly there is:
etc.
So, the probability
results to expression
(2.3)
In the above sums the indicators
are as known, per two different from each other and obviously
is the probability, of the event
, where the natural number
is divided by a prime number
of its sub-sequence.
Let now be the Polynomial
(2.4)
with roots
respectively the fractions
Therefore one has
(2.5)
and now the known polynomials give
,
(2.6)
and also
(2.7)
The relations (2.3), (2.5), (2.6) result in
and due to relations (2.2) and (2.7) where x = 1 one concludes in (2.1).
The relation above (2.1) indefinitely gives the probability to be equal to the positive natural number
, because it cannot be in a defined set
where the probability
is counting the exact multitude
of the prime
numbers in it:
. The exact counting as shown below, will be done in
appropriate intervals, that have already been named silver intervals
, and with the use of an unknown probability
, that will be proven to be greater than a useful expression, that will be related to (2.1). From the above it is becoming clear that all the natural number that have the same sub-sequence of prime numbers should constitute an interval such as
, i.e. the intervals:
respectively correspond in the sub-sequences of the prime number {(1)}, {(1), 2}, {(1), 2, 3}, and these are defined as the four prime silver intervals that clearly include only the natural numbers. For example the interval
includes a multitude of five numbers. Number one (1) was in purpose set in bracket above so as to declare that number one is not included in the elements of these subsets, because number 1 is not a prime number. It should be clarified that a definition of prime numbers is that prime numbers are all the multiples of number one (therefore they are natural numbers) that have the attribute to not be divided by one another. So the prime numbers define the set of all the possible independent repetitions of number one, since none of them is the repetition of the other. It is noticed that the first of the above silver intervals, that is
, has as a sub-sequence the empty set and includes two prime numbers which are 2 and 3, the second
has as its sub-sequence the unit-set with 2 as an element and includes two prime numbers, 5 and 7, while the third one includes five prime numbers, the fourth includes sixteen prime numbers and so on. Furthermore, the enumerators-probabilities that were mentioned,
and
, will have constant value in every specific silver interval, which will be explained in details, and be proven in Section 4. In this section it will be defined that these values will be dependent, according to relation (2.1), only on the sub-sequence of prime number, which is the same for all natural numbers and only of the specific silver interval:
,
with κ function of ν.
Now certainly the definition of silver intervals is justified
And seeing that
,
one obtains
(2.8)
with
and
its respective sub-sequence.
A check of
by calculating the counting of
and with the use
of a computers, via (2.1) with
and
an arbitrarily large natural number, it is shown that the countable multitude of prime numbers, whilst at the beginning coincides with the real, it becomes more and more larger than that of the real multitude of prime numbers, as
is increased. The reason why this is happening will be explained below and will be proven that the new precise probability
, that was mentioned before will tally the precise multitude
of prime numbers:
, although unknown here, it will satisfy in every
particular silver interval
a very useful inequality, which will be named fundamental inequality of the silver intervals.
It will also be proven true that for the probability of the relation (2.1):
(2.9)
In the beautiful book “the secret life of numbers” professor of Mathematics Andrew Hodges mentions that one of the smartest tricks in the history of mathematics is the Euler transformation below:
(2.10)
The second part of 2.10 is the known harmonic sequence that as known is inexhaustible and corresponds to Riemann’s function:
The proof of (2.10) results directly from the general form of writing the natural number:
(2.11)
That was mentioned in the beginning of Section 2. Executing retrospectively the multiplication of the 1st part it will indeed lead to the 2nd part due to the appearance of all the combinations of (2.11) in the denominators, and so all the integers positive numbers etc.
The relation (2.10) is known from the time of Gauss, that leads directly to the conclusion found by Euclid thousands years ago, which is that the prime numbers are infinite. If they were not then the first part of (2.10) would be a product of finite multitude of derivatives, where each one of them would converge and therefore this product would not deviate from infinity. This however, is absurd, since the second part would also not deviate, which is indeed deviating, because it is the harmonic sequence that was previously mentioned. However, the author’s shorter proof can be given here: “the relation (2.11) includes exponents that are natural integer numbers and therefore each one of them is developed again in the same way
. However, the new exponents
, will be developed again in the same way and so on. It is therefore obvious, that if the prime numbers had finite multitude in N, then the combinations for the representation the natural numbers
would be depleted, since these combinations would not obviously have the advantage of infinite different per-two mathematical (tree-like) representations. Hence, in that case the infinite natural numbers would not be represented by the relation (2.11) which is absurd”.
One more not so well known relation of the bibliography (that is also mentioned in Section 6 of Andrew’s Hodges book) for a random prime number
, as symbolized here, is:
(2.12)
It is noted that (2.12) could be proven easily from the known Taylor formulation [3] :
Plugging
and
, and placing afterwards the differentiations of x, where x is
. So the same relation which can be used to convert the functions such as
etc. was used in a sequence of infinite terms.
Now, because the second part of (2.10) tends towards infinity when
, as stated before, combining the relations (2.1), (2.10), (2.12) one immediately concludes to the proven (2.9)
The 1st part of (2.10) is equal to the function zeta
(2.13)
Because when executing the 1st part the multiplication in the denominators of the fractions, all the combinations of the products of all the prime derivatives, raised in all the powers, to infinity will appear. Hence, according to the relation
(which was reported in the beginning of this Section 2) the result will be all the natural numbers, therefore function
. Combining this fact with the one from (2.10) (2.12) and also with (2.1) the following known relation is concluded:
(2.14)
3. The Tracker of Infinity (Eratosthenes Sieve)
One should think about the endless axis of positive natural numbers
, that starts from 0 and contains, in equal distances, the natural numbers 1, 2, 3, 4, 5, 6, 7, 8, … coloured light blue which are simultaneously stationary observers. Furthermore, the author suggests to visualise one more tracker that starts from position number 2 and walks towards the right side of the line of the natural numbers executing the following order “Every time you encounter a light blue natural number
send on your right, to the abyssal infinity, a message to the light blue observers-natural numbers, which are integer multiples of
, that says change your colour to black. The
remains light blue and is registered in your log book”. What will happen? Simply. In the route
all the even natural numbers will be black to infinity except of course for number 2. These will be called second-multiple (2-multiples) not including number 2. In the route
there will be black numbers except from the second-multiples and all the multiples of 3 to infinity except for the natural number 3. These multiples of 3 not including the initial number 3 will be called third-multiples (3-multiples) numbers. When the tracker reaches number 4, however, finds it black and does not send a message for colour changing to the observers-natural numbers. Number 5 is found light blue (unmarked) and a new message is sent, according to the order given, to mark all the integer multiples of the natural number 5 except for 5, with the colour black. The multiples of 5 except for 5, will be called fifth-multiples numbers and so on. Therefore, the tracker in this journey leaves behind as light blue only the prime numbers that have been registered in the log book. The integers, third-multiples, fifth-multiples, seventh-multiples etc. meaning all the natural numbers that are not prime numbers and have been marked black will be called prime-multiples numbers. According to what was shown regarding the silver interval during the route
, that is, in the tracker’s route inside the silver interval
, an encounter with all the now blackened multiples of 2 will take place. The numbers 5, 7 will remain light blue during this route and they are prime numbers. Similarly, during the new route in
, the tracker will encounter, marked in black, all the multiples of 2 and 3. That means that the multiples of the subsequence of the prime numbers in the silver interval that the tracker crosses each time, will be marked black.
The prime numbers that are integer multiples of the random prime number
, will be called
-multiples. Additionally, in a random silver interval
the natural numbers will be called:
respectively as 1st, 2nd, 3rd, … position in the interval
.
According to this last definition the question now is; which is the position of a first appearing
-multiple in
and which is the position of the last
-level in this silver interval. This positions are called
and
respectively, ensuring that the symbols represent the information given accordingly. Here 1 represents the 1st and τ represents the last (from the Greek word “τελευταίος” that means last). The interval
that includes only natural numbers will be called band of
-multiples (prime-multiples) of the silver interval
. Furthermore,
symbolizes the “length” of a random silver interval
. Since the two successive prime numbers
will have a difference of greater or equal to 2 (2 occurs when they are twin prime numbers) there will be:
(3.1)
And since
one concludes that:
(3.2)
Also, due to the distance of the origin
of any band
from the origin of the silver interval
being always less that the distance
of the two successive
-levels of its subsequence (that means
) there will be:
(3.3)
The “equal to 0” in the first relation (3.3) represents the case where
.
For example:
Because
are odd natural numbers as squares of prime numbers (that are odd). Also, it should be reminded that
. Moreover, it will be symbolized as
the “length” of a random band
. Therefore as an example one finds:
, for example
But
,
,
,
,
.
As “lengths” for both the silver intervals and the bands were defined not the geometrical distances of the two ends but the multitude of the natural numbers that are included in the interval that corresponds each time to the silver interval (or band). In contrast, their normal length
could be named geometrical length.
4. The Silver Intervals, the Fundamental Inequality and a First Solution
Summing up, the silver interval is defined as
using the relation
(4.1)
with
and
, being the respective subsequence of
. Reminding that this subsequence of
, of a silver interval consists of M successive prime natural numbers.
-multiples were named the multiples of the random
prime number and for the random silver interval
the defined band of the specific
-multiple in the interval of natural numbers is:
(4.2)
Between the first (1) and the last (τ) position of the
-multiple in the silver interval
. In general
will be a position in the silver interval that corresponds to the κth in a row
-multiple. Furthermore, it was symbolised
(4.3)
the “length” of a random silver interval
. Also, the multitude of the natural numbers that contains a random band
as its “length” was defined and symbolized as
(4.4)
In this length
there are obviously n + 1
-multiples. Also the distance
of the
band will be called, as stated before its geometrical length. At last the relation (3.2) was proven:
and
(4.5)
It should be clarified that all the composites of
are necessarily
-multiples of its subsequence, as it was proven in Section 2.
In the below Figure 1 we see that the band
has a “length”
and not
as the (4.5) implies above, however that was done die to the simple supervision and obviously it will not interfere with the proving methodology that will be shown below. (A composite natural number is the one that is not prime). In general all the prime-multiples numbers of a random prime number
(meaning all its integer multiples, that were named
-multiple numbers) function as erasers in the list of prim number candidates, since they erase the possibility of being the natural numbers with which the prime numbers coincide. Using this interpretation they will be named
-multiples erasers. These are the ones that the tracker changes their color from light blue to black (erasure) as soon as the tracker meets the first
number on the unending travel of the axis
of natural numbers.
In Figure 1 are shown the two boarders
and
of the random silver interval
where:
(4.6)
Also in that same figure are seen the two bands
of
and the
of
. Where
obviously natural numbers on the axis of natural numbers
. The band
with geometrical length
and n = 3 for Figure 1, will include n + 1 multitude of
-multiples erasers that is Figure 1 are the
with properties:
. In addition, β is a random
-multiple number of another random band
that as shown in the figure happens to be overlapping with
. The relation (2.1) shown in Section 2:
(4.7)
is based on the assumption that the density of
-multiples erasers in the silver interval
, where
is:
(4.8)
Thus, the active multitude of
-multiples erasers in
, with “length”
will be:
(4.9)
Hence, the non-erased natural numbers in
from the
-multiples will have as active multitude
(4.10)
However, owing to two random bands
and
of
not having the same boarders, as shown in Figure 1, meaning that theirs boarders do not coincide (i.e.
in Figure 1) the active multitude of the erasers of the assumption in
will not coincide with the true multitude of erasers.
Let
the unknown multitude of
-multiples of these erasers of
. It was shown before that all these numbers belong to
of
and are of multitude n + 1 (with n = 3 in Figure 1). Hence, in general it will be true:
(4.11)
However due to the relation (4.8), (4.9) and based on the help of Figure 1 in the general form it would be
The remainders between the silver interval
and the band
are the intervals
and
, that obviously each one of these is less or equal to
not however both equal to
, because then
, which is absurd, hence it is true that
Combining the last relation with the expression of
from above, it is given:
(4.12)
And based on (4.11) it will be true
(4.13)
This relation (4.13) shows how the expected multitude of prime numbers in the
interval will have to be as a whole greater than the true multitude, since the active multitude of the erasers is generally smaller that their true multitude, fact that was confirmed using computer based calculations and will be further explained in the following analysis. In the table below is shown the changes between the true and expected multitude of prim numbers in the first 12 silver intervals. The expected or active multitude of prime numbers is calculated using the relation
Integral part of
.
A random eraser, prime-multiple, of band
, let that be δ, would have non-zero probability coinciding with another eraser
-multiple, let that be β, of another band
(that is overlapping with band
and β is not in the overlapping region) if the left boarders γ, α of
and
were coinciding. In this case [which is the implied acceptance of (2.1) or (4.7)] there is a possibility of the creation of an additional prime number, than it would in reality, because this way the capability of erasing of the eraser δ is cancelled, since it is degenerating into the erasing that is already fulfilled by the other prime-multiple eraser β. To reverse the possible redundancy by 1 of multitude of active erasers in comparison to the multitude of real, due to the boarders γ, α, not overlapping and instead to increase it, it is enough to increase
by 1. However, how would one explain the choice to increase “by 1”? The proof, for its necessity, is that if the left boarder γ, of a random band
, was overlapping with the left boarder G of the silver interval of
, then
would include at most one more eraser x. It should be highlighted here that only this eraser introduced error (and thus causes the difference in active and real values), because this is the only one missing from the area
, resulting in the statistically expected cancelling of the erasing ability of another eraser of another band being included in the calculations of the relation (2.1)—only from this x—, due to the statistically expected overlapping of x, β in
. With this virtual cancelling will reasonably be born in the statistical calculations of (2.1) fewer prospective (active) erasers. This way, however, there will be, from (2.1), more prime numbers than the real ones, because x does not exist (i.e. virtual), hence it did not accomplish statistical erasing, like β did. So to reverse the result x needs to be added to become from virtual to real. The same will be true for the right boarder ζ of
.
Similarly, because the right boarders e.g. ζ, η of
,
are possibly, in general, not overlapping, there needs to be anew an increase in the active multitude
, for the same reason as before, by one more unit. In total, by increasing
by 2, the new active multitude of erasers for
will be for every case greater than the real multitude of
, owing to the fact that it is like placing in each one of the two intervals [G, γ) and (ζ, L] one
-multiple eraser, which is over-covering, because the λ, μ do not, as a rule, overlap with G, L respectively. Thus one concludes in the relation
(4.14)
More specifically, one can show (4.14) in a different way, shown below. If all the bands had, in the ideal case, their left and right boarders same as the borders G and L respectively of
(Figure 1) then the easers would increase by multitude
. The −2 is present because the
band of
has already the same left boarder (limit) with G, but also another one, the
of
has the same right boarder with L. Splitting the multitude of the new erasers (that transform, the distribution of prime numbers
in the
interval into an ideal one, and thus over-covering the error), in the band M of
. There will be an increment for every band of this ideal case [of (4.7)] by
. So with 2 further erasers, for every band, the over-covering mentioned before is certain. Because in this way a new ideal distribution is born “that it is certain to realise all the missing erasing and even more”. That leads to an inequality.
A more analytical proof of the above is given here. Let
be the new increased (by 2) multitude of erasers of the band
, which is the band
of
silver interval. Let
be the definition of a new unit with
. The new unit I (instead of the previous one which is 1)
subdivides now, to more parts the interval, that is defined by the subsequence of M of sequential silver intervals on the axis of natural numbers, with multitude
of bands, the catholic selected among them
. It is clear that every unit of natural numbers, which is the distance 1 of two sequential natural numbers on their axis, to the last silver interval
, will be subdivided in multitudes
equal parts. Afterwards, the erasers of every band are equally distributed in every single silver interval. It is obvious that there will be created Μ multitude new virtual silver intervals that will have all their erasers
-multiples placed on the new marks that define the smaller according to the factor
new subdivisions, where each subdivision has length I. So after the increment by 2 erasers of every band
and after equally distribution of erasers in all bands and in all these, M multitude, virtual silver intervals, we conclude that the erasers of every band
become more frequent and thus finally the previous ability of distribution:
transforms in a new greater distribution density:
where according to the previous ones and because the increment for every band by 2 erasers; the following will be true:
where
represents the old (before the increment by 2) multitude of erasers of the band
. It becomes clear, on the one hand, that in every single virtual silver interval
, due to the equal distribution of the erasers of every band in it, it would now be true the exact corresponding relation of the previous (4.7) so as to estimate the prime numbers in every silver interval
. That means that now the ideal—for the precise calculations of the multitude of prime numbers—new virtual density
(that will be used and directly below) is used instead of the real and non-ideal
that was used before in (4.7). On the other hand, it is realised that in this way there will be less virtual prim numbers (in every
), since there are more erasers for every band of every silver interval
. The index
obviously corresponds to the index s of
for the random now intermediate or non silver interval
. Leaving the above boarder M of the arbitrary elected sequence, of the successive silver intervals
, to tend towards infinity; all the different cases are covered. It is very important to emphasize that this method of creating the virtual silver interval functions as follows: “In order the true multitude of erasers to coincides with their active multitude, all erasers should belong to bands which would had their boundaries in common with the boundaries of their silver space
, so that in this case, on the one side the random band
would had the predicted density
of erasers, and on the other side this band would had equal distribution of all its erasers in its total
. So in this case would be made the coincidences of erasers predicted by the statistics of relationship (4.7), so that finally the relationship (4.7) would function correctly. But that does not happen. Therefore, with the virtual silver interval we achieve the equal distribution of the erasers of random band in the total
, that is we achieve the realization of the statistically predicted coincidences from the relationship (4.7), and on the other hand simultaneously we succeed that these erasers to have greater density than the real density
. So finally in the virtual silver interval we will surely have more write-offs than the real ones. In others words we will have something that required from the asking inequality”. This proof, combined with the definition of the virtual silver interval of precise calculations of prime numbers (due to the equal-distribution of the erasers of the bands as mentioned), will clarify the analysis below, of the inequalities mentioned and justified before, with a different additional way.
It is observed that in the relation (4.5) it was proved that
. So now, the two additional erasers of relation (4.14) must be distributed in more than 4
-multiples of
. [The band
of Figure 1 has geometrical length
, instead of
, owing to the relation (4.5), however, this is not inadequate, because as stated it was done only due to the simple impediments and it clearly does not influence the probative methodology]. So, with this distribution that creates the new active multitude of its erasers (4.14) based on the old one, on every one of the old erasers there will be added at most 2/4 = 1/2
erasers. In more details from the relation (4.14) one gets:
and due to the
results in
so
, and due to
of (4.8) one results:
(4.15)
So for the absolute validity of the inequalities (4.15) the fact that the active density
of every band
[that is used in the relation (2.1) or (4.7)] was considered to probably be a bit greater, because every band (that is enclosed on its whole in the silver interval
) does not include exactly n multitude of
-multiples erasers, as implied by the expression
, but
, which is explained using Figure 1. [For example
means that
in Figure 1 will include 1
-multiple eraser in each one of these three intervals [γ, δ), [δ, ε), [ε, ζ], that means 3 and not 4 of
-multiples, that it indeed contains]. Therefore, in order to be led in the two relations (4.15) one is obligated to use the expression
, instead of the relation
. Additionally, because it was said
,
will be true [owing to the band
necessarily includes all the
-multiples of
], so in every case there is
. Thus, based on all the previous
will be true, which led to the two relations (4.15) that will be used below, because it was shown that they are generic and true for every case. On the grounds that, even if the observation
is not taken into consideration and by simply accepting that
, then
will arise, which drive to the same conclusion that the above relation (4.15) is true.
As a result the true probability will be defined respectively by (4.7) using the true density
which satisfies the relation (4.15), meaning:
(4.16)
And now obviously due to the (4.15) it is true that:
(4.17)
However, in this way an interesting scenario occurs, a sequence of inequalities:
Particularly, all the successive fractions of the type
were inserted in brackets (…) exactly where they were missing, which creates a more enhanced inequality.
The last arose after the erasing of the equal numerators and denominators. Consequently for the true function
, that defines the exact number of prime numbers in the random silver interval
, the result will be:
,
and
(4.18)
The last inequality from the tree inequalities of the relation (4.18) derives obviously from the relation
that defines the natural numbers ν of the silver interval
, whilst the first inequality (4.18) derives from everything that was mentioned before for the consequences of the non-overlapping of the limits of
and
, however this will not be used in this proof. The inequality
of the relation (4.18) will be named fundamental inequality of the silver intervals. The inequalities (4.18) are these that as mentioned will be proved in regards to the relation (2.1) when mentioned in Section 3 that (2.1) along with everything that will be shown related to it below, includes all the available catholic information.
Previously, the probability
was characterized as exact function meaning that it calculates the exact number of prime numbers in
. The function
, even unknown is said here to be exact in the sense that the inequality (4.18) can be used for it, exactly like an inequality can be used for number π in the sense that in theory this number exists in any desirable precision. The proof of (2.1) is completed based in the independent divisibility of the prime numbers, like it was determined in Section 2. It is noticed that the fundamental inequality is the “function” of each silver interval, and this concept is a form of correcting (2.1) specifically for every silver interval, because the equal-distributions of prime numbers are disturbed in the limits of
. Hence now, the wanted tally of the events of twins (and maybe of other formed prime numbers) to infinity can be assessed whether it has a finite result or not.
Observing Table 1 the reason can be understood. The generator of prime-multiples numbers is, as explained in Section 3, an ideal mathematical generator that would define precisely the multitude of prime numbers in every single one of the silver intervals
if the bands had the same limits, which is shown by the procedure of calculation of the active probability
in the proof of (2.1) [or (4.7)] that means one precise calculation based on the absolutely know tally of the prime-multiples natural numbers that consist a perfect repetitive procedure in every silver interval
. If now (2.1) is combined with the exact constraint of (4.17), that was shown it is understood that (4.17) is not refuted in any
to infinity. An assessment, without essential meaning, by a computer in a depth of hundreds of millions of natural numbers verified relation (4.17) even with
, instead of
that all the factors of the inequality (4.17) have. Of course it was already proven that (4.17) is true for
;
Table 1. Prime multitude in silver intervals.
however
was chosen because that was the one that allowed the erasing of sequential fractions, which at the end led to the proof of (4.18) that in turn proved to be sufficient for the calculation of the multitude of twin prime numbers, as it will be shown.
It was proven before, that an increment of ideal erasers (active) of every band for a mean multitude
, will cause expected correction. Indeed, by calculating the mean increment-correction of each erasers, [one in every interval
in (4.7) or (2.1)] for every band
, approximately equal to:
Once can set in (4.16)
instead of
of (4.7) or (2.1). Meaning
(4.18a)
Based on this correction (4.16) forms the previous Table 1 as follows.
It is observed from Table 2 that there is indeed an important correction from an initial active multitude of 278 expected prime numbers, to 257.3 now. Meaning an error of approximately 1.4% from 6.5% that was before in Table 1.
On the subject of the twin pair, which was studied after Introduction, in Section 1, it was seen by relation (1.1) that a specific event with a probability p with regards to its appearance in a single repetition, in a multitude of N independent repetitions, will have a mean multitude of twin pairs, (which will be precise in infinity repetitions) equal to:
Table 2. Correction of prime multitude in silver intervals.
(4.19)
The precise relation (4.19) derives from the independency of repetitions in a multitude of Ν − 1 boarders among these.
The known theorem of prime numbers that dictates a logarithmic distribution [1] [3] [6] is essentially a statistical theorem. To be exact, in this paper’s Statistics, based on the relations (2.1), (4.18) that were proven and will be utilized below, it will additionally be validated that “the catholic (random) selection of a prime number
(that was named in the beginning of this paper) in an also catholic (randomly) selected silver interval
, does not give the catholic information (that was also named in the beginning of this paper) that the probability of appearance of the next prime number
is changing in the very same silver interval according to the distance of its position from
”. The useful meaning of this catholic capacity is that the prime numbers are distributed in the catholic silver interval in such way that it does not statistically favor, after all in their infinity multitude, neither them getting closer nor away from each other. One of the initial reasons for this is that the creation of the prime numbers from the tracker does not produce any logical suggestion that will neither dictate them getting closer to each other in the same silver interval, which statistically would favor the twin paring among them in their infinity multitude, nor them getting away from each other in the same silver interval which statistically would complicate the twin pairing among them in their infinity multitude. In other words, all the catholic information for the distribution of prime numbers in provided by the relations (2.1) and (4.18) along with the improvement of (4.18a) etc. If the position of a prime number was affecting the position of a neighboring prime number in the same silver interval based on the catholic information (with a proposal of generic validity in N), then this catholic event would prevent the probative method of creation of (2.1) to ignore it, and thus it would be disclosed in that way. Consequently, since in mathematics nothing happens without a reason, the distribution of the prime numbers in a random (or otherwise catholic) selected silver interval will be the one that dictates the catholic relation (2.1). The catholic relations (4.18), (4.18a), but also any of their improvements, do not change the above conclusion because they are objective inequalities. Meaning the reason is that this inequalities of catholic validity are exclusively due to the disorder of calculations that creates the border between two sequential catholic selected silver intervals, which however does not change the way the erasers that create the relation (2.1) work; using the equal-distribution of the probabilities of the prime numbers in this catholic selected silver interval, but this border prevents their precise calculations due to the non-overlapping of the limits of the erasers bands with the limits of the silver intervals, as it was already mentioned.
Proof
It is known, (and easy to be shown), that the minimum distance
between two multiples of the random (meaning; catholic selected) prime numbers
,
is changing cyclically and therefore all the values of
are equiprobable in a catholic (random) selection of
. For example, without damaging the generality if one selects
,
, then this minimum distance will change cyclically from 0 to 2. Hence, the action of the catholic information (relations which are true in all N) that a “catholically selected natural number
is not divided by a prime number
” will again leave equal the probabilities to be not divided by the same
, and also by any other prime number
, one of its following natural numbers
. The obvious reason for this is that the catholic sentence “catholic selected natural number
is not divided by a prime number
”, based on everything that was said for
, not produce any catholic suggestion (meaning there is not any catholic information) to produce differentiation on the (catholic or general expressed) probability for divisibility of the following natural numbers
, (which follow after
) by one of prime numbers (separately) of the subsequence
of this catholic selection silver interval. This conclusion directly entails that the catholic information that “
is a prime number” does not changes the probability (in function with the distance of its position) “to have a following natural prime number
at any distance in this same catholic selected silver interval”. Also the same will happen if for this catholic selected number is valid the proposition
instead the before one, because the change of the probability, due to the existence of an additional factor in the relation (2.1), will be independent of the previous proof. We have said in introduction that without catholic information nothing happening in Mathematics because Mathematics is absolutely based on causality.
Summing up, based on the previous paragraph, but also based on those mentioned at the end of the Introduction (for the Proposition of Catholic Information and PDI), we proved that the prime numbers in their infinite multitude statistically neither approach each other nor the inverse thus they will have a statistically unbiased distribution regarding their probability of appearance in a random (catholic) chosen silver interval. Specifically, the multiples of any prime numbers (e.g. the prime numbers 5, 7 that were mentioned in the beginning of the Introduction) appear as independent events in N (as results of an ideal roulette) of the classical theory of probability. Therefore, the prime numbers per two will have their multiples as independent events of classical theory of probabilities in N. So, whether a random natural number
is prime or not depends on the interaction of independent events of the probability theory that is the interaction of multiples of the preceding prime numbers in the subsequence
of this randomly selected silver interval
. These events are distributed like the result of an ideal imaginary roulette, as stated. It is the most representative distribution of an ideal roulette. So the prime numbers will be independent events of the probability theory. A question that is raised is if the boundaries of silver intervals affect on the distribution of prime numbers in them. The answer is no. The proof for this is based on the fact that the prime numbers have multiples independent per two and that means that the same will happen with the square of the prime numbers which define the boundaries of the silver intervals. Thus these boundaries do not catholically affect on the distribution of prime numbers in the catholic silver interval. So during the selection of a random (representative catholic selected) silver interval it will occur inductively for its boundaries to also be independent events regarding the prime number multiples of the subsequence of this catholic selected interval. Thus these boundaries will be catholically independent regarding the position that the prime numbers will appear in random silver interval.
We can finally prove that not only the probability
is constant within a randomly selected silver interval
(or in others words
independent of the position of a random candidate prime number
) but and the variation
of
, which is being introduced by the inequality (4.18), is also a constant in the same random
. Indeed, we observe that
depends solely on the positions and range of overlap of the bands and so the
ultimately depends on the bounds of the bands. Let be B1, B2 two such bands of
-multiples and
-multiples that means
are the primes which their multiples define the bounds of B1, B2 respectively. Then the distances a1, a2 of two boundaries of B1 from random (CS) position
will be (in the general case of choosing random
) independent of the two other distances b1, b2 of the boundaries of B2 from the same position
. The reason is the catholic property of multiples of prime numbers
:
where p represents the probability of event in its parenthesis. That is what we prove before in introduction. As we prove there this last relation is valid for the same position μ and thus therefore it will be valid for different positions μ1, μ2. Therefore, the reducing the probability of the deletions, that we also mentioned, as well its result
, eventually will be both independent of the position of
in general choice of
. That means that the correct probability
will be independent of position
. In others words as
as well
are independent of position
because both these probabilities in catholic case are defined of the prime multiples which relative to that position ν have appearance frequencies independent each other. Therefore according to the Proposition of Catholic Information which we refer before in Introduction, if would exist general relationships between a random position ν (in random
) and range of overlap of some catholic (random) band in
then we would conclude that must exist also catholic relationships between the appearance frequencies of these primes multiples in random
. But on the basis of PDI that we prove in Introduction this last conclusion is wrong. In other words according to the Proposition of Catholic Information we can’t write general formulas between frequencies of appearance of two prime multiples in random
using in this formula only the general symbols
,
for them. According to the Shannon definition of information we know that the information is the other side of probability:
, and thus in our solution the catholic expressions (written in general form) are the only ones which include and transfer information of total space that is information of set N relative to some general defined form, for example to some interval in its random choice. And as we have said in introduction, in Mathematics nothing happens in the total space of some set without the existence of catholic information which according its definition is flowing from corresponding general form that must concerns the total space of this set. So in the same random
the statistical tendency of primes will be neither their approach nor their depart, but simply they will follow the statistic dictated by the relations (2.1) and (4.18). In other words, we have prove that the general relations (2.1) and (4.18) that constitute catholic information (because they are written in general form and they are referenced on random
) have generally been the ones that define the distribution of prime numbers. This process is valid until to the infinite, a fact ensures correctness of our statistical calculations bellow.
For the clarification of the definition inductively, that was used previously, it should be explained that the creation of prime numbers, by the procedure that was used to prove the relation (2.1) (which drives to creation of prime numbers in silver intervals and based on the independent multiples of prime numbers of their subsequence) starts without any overruling of the above proof form the beginning of the set of the silver intervals. Thus it is necessary at this point to investigate the inaugural structure at the proof above. Indeed, the first silver interval
has, as we said shortly after the relation (2.7), as its subsequence the empty set. Therefore, from
, necessarily, all of its elements will be selected the natural number 2, 3 as new prime numbers according to the selection rule which in this case states only that “the unreal multiples of unreal primes in the subsequence
not divide the natural numbers 2, 3”. This due to the fact that the subsequence
of
does not includes any element and so therefore the sentence “the numbers 2, 3 are not multiples of a non-existent prime number” is true. Afterwards, it is noticed that the multiples of these initial prime numbers 2 and 3 are independent from each other in the set N and thus the prime numbers that will be selected, based on the same selection rule, in the next silver intervals
,
will be always, according to the previous proving procedure, independent events of the probability theory and so on inductively. Additionally, the boarders of the following silver interval that is created from the squares of the prime numbers 2, 3 do not contribute any logical catholic suggestion that will affect the divisibility both in this silver interval and in a catholic (randomly) selected one below. In this way we understand that the squares of prime numbers which define the silver intervals (because they define their boundaries) will be catholically independent events of the established probability theory.
Hence, according to the Proposition of catholic Information, that was mentioned in the Introduction of this article, there is no catholic Information that will force the infinity multitude of prime numbers to being thicken or dilute in a statistically random (CS) silver interval, and thus (based on the obvious axiomatic logical Proposition of catholic Information, in the introduction) one can execute (for infinity multitude of prime numbers) accurate statistical calculation (exactly because this multitude is infinite) using the established probability theory. And this is something that we will make below. In other words the total appearance of prime numbers in N is same with one of the infinite results-games (with infinite rotations for each game) of an ideal roulette that in every game has on its rotating disc (in every rotation) the multiples of those prime numbers which inductively produced using the previous prime numbers, which were found in the same way as before, and so on. Saying “random” way we mean “without additional catholic information except the one dictated by the relation (2.1)”. The reason is that the action of inequalities (4.18) and (4.18a) etc are only preventing the accurate calculation of the multitude of the prime numbers in a silver interval and do not affect the catholic power of (2.1) for the reason stated in previous paragraphs.
Returning to the problem of the twin prime numbers, according to everything that was stated, the system of the aforementioned relations (2.1) and (4.18) will dictate a catholic distribution of prime numbers, where the frequency of their appearance will remain constant in the same silver interval. Thus the positions of prime numbers are per two independent from each other and is reduced in a rate dictated by the two relations (2.1) and (4.18) from the one silver interval to the next. Thus the frequency of appearance of prime numbers is changing only between silver intervals and not in the same silver interval, and all these are determined statistically by the catholic relations (2.1) and (4.18), etc.
Thereupon, for the natural number
of a silver interval
, the relation (4.18) in the respective (cumulative) here application of the relation (4.19) for the tallying of the twin prime numbers, that form the independent events of the appearance of prime numbers, meaning the independent prime numbers, gives:
(4.20)
Hence, the infinity multitude of the silver intervals one has:
(4.21)
However, the second part of (4.21) becomes infinity because the brackets are the result of the subtraction of a finite multitude of terms from the known harmonic series, that as proven in the introduction of unit 1, it becomes infinity:
(4.22)
Therefore, it was proven that the wanted multitude of the twin prime numbers in the infinite multitude of natural numbers will also be infinite.
Without damaging the generality, assuming the twin pairs from the left, that is assuming the twin pairs of every new prime natural number candidate in the random silver interval
(with probability
) with the one smaller (on its left) also new candidate prime (and hence its twin) natural number (with probability
) it is found:
Taking into consideration, in every
for Μ > 0, that the terms are of even multitude. The obvious reason for the clarification is that the disorder, that is caused by the relation above (in the tally R of twin numbers) also refers to the boarders of the sequential silver intervals, due to the fact that for these the probability
changes. So for the relations (4.21) there is:
which is a condition able to make the multitude of twin prime pairs in the set N of natural numbers infinity and thus concludes this proof, since it is true that
. The question here is why it was not taken into consideration the causal datum that “the twin prime pairs of two successive natural numbers is excluded”. The answer is that this calculation ignores this kind of causal data, because it is based only on the possibility of twin pairs. If, however, on the base of a seemingly stricter proving procedure one considers this datum (information), then the above calculation is repeated using the set of the odd natural integers. In such a case, because
, it is easily seen that:
Hence, the conclusion is the same.
The reader can easily note that the steps from the relation (4.20) to the relation (4.22) can once more verify that the multitude of the prime numbers in the set of the natural N is infinite, if
is replaced by
in (4.20) calculating now the multitude of prime natural numbers.
Furthermore, it will be shown that the probability of appearance of a prime number in a silver interval tends towards zero, meaning:
(4.23)
From the inequality (4.18) that was shown here and the relation (2.9) that was shown in Section 2; the relation (4.23) is immediately proven:
(4.24)
This relation is very important, because it states according to the definition given by Shannon that the information that the prime numbers enclose is infinite. Considering the set of natural numbers N quantified, in the sense that both its definition and all of its properties can be supported on the numbering, without breaking the quantum “1” that defines on the basis of the numbering all of the properties of set N, one concludes that the information will also be quantified in N. Indeed, since there is no prime number factorised, then according to the Shannon definition every new prime number in N defines the information
which has the property to not be broken in a sum of two or more information terms smaller than the prime number. Consequently, in accordance with (4.24) every new prime number creates a new form of information, because it will not be analysed in a previous prime numbers information, additionally this information tends towards infinity. In the author’s book “The twins of infinity and the Riemann hypothesis”, Ziti (“Ζήτη”) publications, it is defined as quantum q the least quantity of a quality Q. And as quality Q is defined a notifier set of properties, that are altered only during the break of quantum q. For example, the quantum of the quality “water” will be the “molecule of water”. And therefore the q will be the physical unit of set Q with which one counts the repetitions of Q in a phenomenon in physics (or in mathematics). For instance, according to these the quantum of the Euclidean space-time of the Special Theory of Relativity will be four-dimensional and elementary hypercube of the space-time with an edge length equal to the length of Planck (10−35 m). Furthermore, based on the above definition, every well-defined pure physical size, will owing to be quantified and that will be the definition of the pure physical size. And it is truly very charming the question, whether on the infinite information of prime numbers is paradoxically mirrored an infinite and unchanged hyper-verse of events.
5. The Dark Paths of Infinity and a Second Solution
This is at last the final step of this research. It will define one more kind of intervals on an axis of natural number, because their inconceivable length will be named dark or gloomy intervals. The first of these will be the interval of 25 natural numbers:
The second will also be an interval of natural numbers as follows:
The third will be the interval of natural numbers:
where
is the last prime number, meaning the greatest prime number that will be included in the immediately previous gloomy interval, meaning it will be the one that will be included in the second which is
. In general for
there will be:
(5.1)
And obviously:
(5.2)
The natural number
is obviously representing the multitude of the prime numbers that will be included up to the gloomy interval
. It will be again defined as “length” of
the multitude of natural numbers that include:
meaning
(5.3)
Also, the multitude of prime numbers that are included in the interval:
(5.4)
will be symbolized as
.
The gloomy intervals that are defined in this way are infinite, however their length is increased in an outrageous rate! They have however a very important ability: “if
, meaning if the interval
that was defined does not include any prime number, then the
will constitute a twin pair”. This will be named twin pair proposition of the gloomy intervals. The proof is very simple and is derived from its definition (5.2):
If the hypothesis of this proposition is true, then all the previous prime numbers of the
, will be
, because the common first term
, of the natural numbers
, is obviously divided by all the
, however their second term by none. Hence, if the hypothesis of the proposition is true, then the
will both be prime numbers and since their difference is 2, these will constitute the twin pair. This proof is similar with that of Euclid.
The question, whether there are gloomy intervals that do not contain any prime number, has a negative answer. The same question for the silver intervals that were defined in the previous sections is not known if it has the same answer, but this fact does not affect in any case the proof given. In the below Figure 2 is shown a gloomy interval
with its limits, as well as the prime number
, if there is even one prime number in it not equal to the natural numbers
, where
.
It is proven that if
of the relation (5.4) does not contain prime numbers then the gloomy interval
will contain a twin because then the pair
will be twin. What will happen though if there is only one prime number in
? This will create four possible events, independent (due to the prime number independency) but not incompatible:
A = “
has a right sequential prime number, that is
”
B = “
has a left sequential prime number, that is
”
X = “
divides the natural number
”
Y = “
divides the natural number
”
It should be clarified here that the above events of divisibility X, Y have catholic probability (frequency of their appearance) equal to
, exactly as it is required to apply with absolute accuracy the probability theory below. The reason is that the “random”
is an event (during its appearance) independent regarding the appearance of every prime factor of the “random”
, hence it will also be an event independent from the natural number α, β, according always to the definitions of the independency of events in the probability theory that was mentioned in the beginning. It is about the catholic or random selection exactly as required by an accurate calculation in an infinity multitude of events.
The probabilities of the two prime events A and B will satisfy the relations (4.18) shown before in Section 4. That means that the following relations will be true:
,
(5.5)
The events X, Y will have equal probabilities:
(5.6)
The relations (5.6) have an obvious cause. For example if
then the probability of a random natural number to be divided by 3 is 1/3, since one of the three natural numbers is third-multiple, meaning the integer multiple of the prime number 3. Similarly the probability to be divided as an integer a random natural number (as above the unspecified α, β) by
is
, since one in the
-multitude natural numbers is multiple of
. Based on (5.5) one gets:
(5.7)
The last inequality of (5.7) is equivalent to the
, where obviously
will be true, based on the properties of the triphony. On the other hand based on (5.6) there will be:
(5.8)
The probability
in (5.8) is obviously the probability of “destroying” the twin
of
from the appearance of the prime number
. Combining now the two relations (5.7) and (5.8) it is found:
or
(5.9)
The relation (5.9) states something very important “the probability to create at least one twin, the pair
in the gloomy interval
from the appearance of the prime number
is greater (significantly greater) than the probability for the potential twin
to be destroyed by the appearance of
, that from now on will be called the potential gloomy twin of
interval”. Provided that
, which is not of interest, because for this proof the infinite last gloomy intervals
are enough i.e. with
.
What will happen now if a second prime number
is created? The relation (5.9) now with
in the place of
it will once more be true, with the main difference now being that except from the change in the probability of (5.9) there is another additional probability for the creation of a twin, because there will be the probability of the new of the new
to become neighbors with the already existing prime number
in the gloomy interval
and so on. In conclusion there is a more powerful inequality for the relation of tallying the mean multitude of the twin pairs in
where
.
(5.10)
Number 1 on the left part of the second inequality (5.10), exists due to the potential gloomy twin
, which is accounted by this unit, however this is increased with the ability of appearance of new prime number in all possible positions in
. Thereupon, the total multitude of twins in the infinite multitude of the gloomy intervals due to (5.10) will:
(5.11)
In that way it is verified with an additional way the result found at the end of Section 4, which is that the multitude of prime twins is infinite, because from (5.11);
is derived. The first inequality of (5.10) is due to not considering the probability of creating a twin with the appearance of the prime number
on the left during the tallying, because the event B that was mentioned before was ignored.
There last statements can also be presented by a more mathematically concise way. The phrase “at least one” as shown and in Section 2, in the proof of relation (2.1), means the connection of all the respective probable events. The probability of the appearance of a right twin due to the appearance of at one prime number
, (Figure 2) in the positions:
with
and with
it will be
(5.12)
The last inequality
is set because there is obviously a probability that the random number
divides one of the two parts of the gloomy twin, if
appears in a position further away from the middle of
.
The probabilities
refer to the positions of
in the neighborhood of whom, on the left as well, there might be the number
, therefore there is a possibility of one more prime number to appear, (so as a twin to arise), with the respective probabilities. The proof is completely the same with the proof of the relation (2.1).
The product:
In (5.12) above represents the probability of not creating any neighboring prime number of
, from the right, and from the “section” of the independent events there is no appearance of prime numbers in the positions:
In the same exactly way there is the probability of
to be divided by one of the parts of the potential gloomy twin of the interval
from the appearance of at least on prime number
in any appropriate position in
, meaning till the natural number
. The probability
of the natural number
of the interval
to divide one at least of the two parts of the potential gloomy twin of
, will satisfy the relationships:
That arise in a completely similar way with the relation (5.9), from the comparison of (5.7) and (5.8).
For the correlation of the changes
and
, taking into consideration the previous inequalities and since completely similar with the proof of (5.12), one gets:
and afterwards is led:
these last relations reveal that:
(5.13)
The relation (5.13), that was shown above, states that the change of the probability to create at least one twin from the complex event of the appearance of at least one prime number (meaning one, two or three prime numbers etc.), in
will be “much” greater than the change in the probability of this complex event to be destroyed by the potential existing gloomy twin of
. Then again, like before, by applying the last relation (5.13), the total multitude of twins in
will be:
(5.14)
And following that, based on relation (5.14), for the whole of interval N of the natural numbers it will be true that:
Therefore, finally the multitude of the twins in the interval N of natural numbers will be:
This is the last signal the tracker send from infinity [3] [7] [8] from this world of intangible beings of the pure information that is mirrored in the mental world of the Pythagoras’ numbers, where paradoxically the tracker seems to have the advantage of the instantaneous transmission of the infinite information, like the goodness of reputation in the mysterious place of Ovid:
In the middle of the world
There is a place
Among the countries
In the waves of the sea
And the heavenly slopes
The boarder of the triple world…