\[\lim_{x\to\infty}\sum_{n\leq x}\frac{\mu\left(n\right)}{n}=0,\]