Su conjetura (esbozada en 1797-8) sobre el teorema de los números primos fue rigurosamente probada por Hadamard y por La Vallée Poussin en 1896.