Es gibt Konstanten C > c > 0 {\displaystyle {}C>c>0} derart, dass die Primzahlfunktion π ( x ) {\displaystyle {}\pi (x)} für alle x {\displaystyle {}x} den Abschätzungen
genügt.