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