Der Primzahlsatz sagt, dass sich die Anzahl der Primzahlen für großes x annähernd wie lnxx verhält und erlaubt damit eine Abschätzung der Verteilung der Primzahlen.
Die Primzahlfunktion
Wir definieren π(x) als die Primzahlfunktion, die für beliebige reelle Zahlenx definiert ist und die Anzahl der Primzahlenp≤x zurückgibt. Formal:
π(x)=#{p∈P∣p≤x},
wobei P für die Menge der Primzahlen steht und #M für die Anzahl der Elemente der MengeM.
mit einer positiven Konstanten C. O(⋅) ist dabei ein Landau-Symbol, d.h., es gibt eine Konstante D, so dass
∣π(x)−Lix∣<D⋅x⋅exp(−Clnx)
für alle x gilt.
Das bedeutet, dass die Anzahl der Primzahlen, die kleiner als x sind, anhand der Funktionln(x)x abgeschätzt werden kann. Genauer gesagt: Man weiß, dass die Anzahl der Primzahlen, die kleiner als x sind, größer ist als der Wert ln(x)x, wobei die verhältnismäßige Differenz mit zunehmendem x geringer wird. Zum Beispiel folgt daraus, dass es mehr als ln(100000)100000=8685,89, also mehr als 8685 Primzahlen unter den ersten 100000 Zahlen gibt.
Unter Annahme der Riemannschen Vermutung, und nur unter dieser, kann man die Fehlerabschätzung zu