Die Riemannsche Zetafunktion ist die analytische Fortsetzung der für Re(s)>1 durch definierten Funktion. Sie kodiert die Verteilung der Primzahlen: der Primzahlsatz folgt aus der für alle Nullstellen gültigen Ungleichung Re(s)