Big O notation
Der Fall für formula_46 ist trivial. Die Primzahlfunktion wächst langsamer als linear, formal lässt sich also sagen, dass formula_47 gilt, wobei formula_48 die identische Abbildung ist. Siehe Landau-Symbole für die o-Notation. Folglich muss also die Ungleichung formula_49 für formula_50 gelten.