About the actual number of primes (3)
PRIME NUMBER SERIES 14
About the actual number of primes (3)
THE PRIME NUMBER FUNCTION
The prime function is defined as the number of all primes p that lie between
and
.
The function returns from
to
∈ ℕ the exact number of all primes that exist in the chosen range. Thus, it is not an approximation, but the actual number.
Using
according to paper 8, THE EXACT NUMBER OF ALL PRIM NUMBERS UP TO A SELECTED VALUE, and
can be calculated. Taking the difference, we get
Legend:
= sum of all outcomes of t(n) from
to
inclusive.
Proof:
Using the deterministic test function t(n), find t(n) for each n from to
and then add them together. Since t(n) returns only the values 0 for non-prime and 1 for prime, only the number of primes from
to
are summed. Since 0 may not be set in t(n) for n,
must be.
What needed to be proved.
Munich, March 10, 2023
Gottfried Färberböck