In number theory
In the following, let mean all primes not exceeding n.
Mertens' 1st theorem:
does not exceed 2 in absolute value for every .
Mertens' 2nd theorem:
where M is the Meissel–Mertens constant. More precisely, Mertens proves (loc. cit.) that the expression under the limit does not in absolute value exceed
for every .
Mertens' 3rd theorem:
where γ is the Euler–Mascheroni constant.
Changes in sign
changes sign infinitely often, and that in Mertens' 3rd theorem the difference
changes sign infinitely often. Robin's results are analogous to Littlewood's famous theorem that the difference π(x) − li(x) changes sign infinitely often. No analog of the Skewes number (an upper bound on the first natural number x for which π(x) > li(x)) is known in the case of Mertens' 2nd and 3rd theorems.
Mertens' second theorem and the prime number theorem
Regarding this asymptotic formula Mertens refers in his paper to a "curious formula of Legendre". He recalls that it is contained in Legendre's third edition of his "Théorie des nombres" (1830; it is in fact already mentioned in the second edition, 1808), and also that a more elaborate version was proved by Chebyshev in 1851. Note that, already in 1737, Euler knew the asymptotic behaviour of this sum.
Mertens diplomatically describes his proof as more precise and rigorous. In reality none of the previous proofs is acceptable by modern standards: Euler's computations involve the infinity (and the hyperbolic logarithm of infinity, and the logarithm of the logarithm of infinity!); Legendre's argument is heuristic; and Chebyshev's proof, although perfectly sound, makes use of the Legendre-Gauss conjecture, which will be proved in 1896 and then be better known as the prime number theorem.
Mertens' proof doesn't appeal to any unproved hypothesis (in 1874), and only to elementary real analysis. It comes 22 years before the first proof of the prime number theorem which, on the other hand, will heavily exploit the behaviour of the Riemann zeta function in the complex plane. It is in that respect a remarkable proof. Indeed, with modern notation it yields
whereas the prime number theorem (in its simplest form, without error estimate), can be shown to be equivalent to
In summability theory
converges to A and another
- F. Mertens. J. reine angew. Math. 78 (1874), 46-62 Ein Beitrag zur analytischen Zahlentheorie
- Robin, G. (1983). "Sur l’ordre maximum de la fonction somme des diviseurs". Séminaire Delange–Pisot–Poitou, Théorie des nombres (1981–1982). Progress in Mathematics 38: 233–244.
- P.L. Tchebychev. Sur la fonction qui détermine la totalité des nombres premiers. Mémoires présentés à l'Académie Impériale des Sciences de St-Pétersbourg par divers savants, VI 1851, 141-157
- Leonhard Euler. Variae observationes circa series infinitas. Commentarii academiae scientiarum Petropolitanae 9 (1737), 160-188.
- Although this equivalence is not explicitly mentioned there,it can for instance be easily derived from the material in chapter I.3 of: G. Tenenbaum. Introduction to analytic and probabilistic number theory. Translated from the second French edition (1995) by C. B. Thomas. Cambridge Studies in Advanced Mathematics, 46. Cambridge University Press, Cambridge,1995.
- Yaglom and Yaglom Challenging mathematical problems with elementary solutions Vol 2, problems 171, 173, 174