Advanced Search

On établit les majorations $\left|M\left(x\right)\right|\le \frac{0.002969x}{{(logx)}^{1/2}}$, valable pour $x\ge 142194,\left|M\left(x\right)\right|\le \frac{0.6437752x}{logx}$ qui est la meilleure majoration possible en $\frac{x}{logx}$ valable pour tout $x\>1(\left|M\left(5\right)\right|=2=\frac{0.6437752\times 5}{log5})$, et d’autres analogues. On montre enfin comment trouver des majorations effectives $\left|M\left(x\right)\right|\>\frac{c_{k}x{(loglogx)}^{2k}}{{(logx)}^k}$ pour tout $k$.