\[\left|\pi\left(x\right)-\operatorname{li}\left(x\right)\right|=O\left(x\exp%
\left(-c(\ln x)^{1/2}\right)\right),\]