μ(n) = +1 (square-free, even prime factors), −1 (square-free, odd prime factors), 0 (has squared factor). The Mertens function M(x) = Σμ(n) should stay near zero — the Mertens conjecture |M(x)| < √x was disproved in 1985 (Odlyzko–te Riele).