mit  der Eulerschen Phi-Funktion (der Anzahl zu  teilerfremden Zahlen kleiner als ). Das wurde von Charles-Jean de La Vallée Poussin bewiesen mit ähnlichen Methoden wie beim Beweis des Primzahlsatzes.