Conversions explicites des nombres premiers vers la fonction de Möbius

Florian Daval

We prove that $|{\sum }_{n\le x}\mu (n)|\le x/160383$ for all $x\ge 8.4\times 10^9$ thus improving the record for this type of estimates which was $|\sum_{n \leq x} μ(n) | \leq…