On counterexamples to the Mertens conjecture

Seungki Kim, Phong Q. Nguyen

We use state-of-art lattice algorithms to improve the upper bound on the lowest counterexample to the Mertens conjecture to $\approx \exp (1.96\times 10^{19})$, which is significan…