Un bound (piuttosto largo) per la funzione di Mertens

[HiTLeuLeR]

Provare che, per ogni intero n > 0: $ \displaystyle |\mu(1) + \mu(2) + \ldots + \mu(n)| < 8 + \frac{n}{9} $, dove $ \mu $ è la funzione di Moebius.