\[\sum_{n\leq x}\mu\left(n\right)=O\left(xe^{-C\sqrt{\ln x}}\right),\]