In a series of articles published between 1870 and 1885, Ernst Meissel described (and used) a practical combinatorial way of evaluating formula_11.
Praštevilski izrek sta leta 1896 neodvisno dokazala Hadamard in de la Vallée Poussin s pomočjo lastnosti Riemannove funkcije ζ, ki jo je uvedel Riemann leta 1859.