| • Science | • People | • Locations | • Timeline |
where μ(k) is the Möbius function.
Because the Möbius function has only the return values -1, 0 and +1, it's obvious that the Mertens function moves slowly and that there is no x such that M(x) > x. The Mertens conjecture goes even further, stating that there is no x where the absolute value of the Mertens function exceeds the square root of x.
The Möbius function is built-in to Mathematica, the Mertens function is not, but it can be defined with this command: