zbMATH — the first resource for mathematics

Disproof of the Mertens conjecture. (English) Zbl 0544.10047
The Mertens conjecture states that \(| M(x)|<x^{1/2}\) for all \(x>1\), where \(M(x)=\sum_{n\leq x}\mu(n)\), and \(\mu\) (n) is the Möbius function. This conjecture has attracted a substantial amount of interest in its almost 100 years of existence because its truth was known to imply the truth of the Riemann hypothesis. This paper disproves the Mertens conjecture by showing that \[ \lim \sup_{x\to \infty}M(x)x^{- 1/2}\quad>\quad 1.06,\quad and\quad \lim \inf_{x\to \infty}M(x)x^{- 1/2}\quad<\quad -1.009. \] The disproof relies on extensive computations with the zeros of the zeta-function, and does not provide an explicit counterexample.

11N37 Asymptotic results on arithmetic functions
11M06 \(\zeta (s)\) and \(L(s, \chi)\)
11-04 Software, source code, etc. for problems pertaining to number theory
Full Text: DOI Crelle EuDML