In
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Math ...
, Maier's theorem is a theorem about the numbers of
prime
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only way ...
s in short intervals for which Cramér's
probabilistic model of primes gives a wrong answer.
The theorem states that if π is the
prime-counting function
In mathematics, the prime-counting function is the function counting the number of prime numbers less than or equal to some real number ''x''. It is denoted by (''x'') (unrelated to the number ).
History
Of great interest in number theory is ...
and λ is greater than 1 then
:
does not have a limit as ''x'' tends to infinity; more precisely the
limit superior
In mathematics, the limit inferior and limit superior of a sequence can be thought of as limiting (that is, eventual and extreme) bounds on the sequence. They can be thought of in a similar fashion for a function (see limit of a function). For ...
is greater than 1, and the limit inferior is less than 1. The Cramér model of primes predicts incorrectly that it has limit 1 when λ≥2 (using the
Borel–Cantelli lemma
In probability theory, the Borel–Cantelli lemma is a theorem about sequences of events. In general, it is a result in measure theory. It is named after Émile Borel and Francesco Paolo Cantelli, who gave statement to the lemma in the first ...
).
Proofs
Maier Maier is a surname of German origin.
It is a variant spelling of the more usual " Meyer", which is cognate with the English word "mayor", but with a different meaning.
Individuals with the surname include:
* Anneliese Maier (1905–1971), ...
proved his theorem using
Buchstab's equivalent for the counting function of quasi-primes (set of numbers without prime factors lower to bound
,
fixed). He also used an equivalent of the number of primes in arithmetic progressions of sufficient length due to
Gallagher.
gave another proof, and also showed that most probabilistic models of primes incorrectly predict the
mean square error
:
of one version of the
prime number theorem.
See also
*
Maier's matrix method
References
*
*
*{{citation , last=Soundararajan , first=K. , authorlink=Kannan Soundararajan , chapter=The distribution of prime numbers , editor1-last=Granville , editor1-first=Andrew , editor1-link=Andrew Granville , editor2-last=Rudnick , editor2-first=Zeév , title=Equidistribution in number theory, an introduction. Proceedings of the NATO Advanced Study Institute on equidistribution in number theory, Montréal, Canada, July 11--22, 2005 , location=Dordrecht , publisher=
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
Originally founded in 1842 ...
, series=NATO Science Series II: Mathematics, Physics and Chemistry , volume=237 , pages=59–83 , year=2007 , isbn=978-1-4020-5403-7 , zbl=1141.11043
Theorems in analytic number theory
Probabilistic models
Theorems about prime numbers