Ungleichung von Finsler

Die Ungleichung von Finsler (englisch inequality of Finsler) ist eine Ungleichung der Analytischen Zahlentheorie. Sie geht auf eine Arbeit des Mathematikers Paul Finsler aus dem Jahre 1945 zurück. Die Ungleichung knüpft direkt an das bertrandsche Postulat an, dessen inhaltliche Richtigkeit sie unmittelbar bestätigt.

Darstellung der Ungleichung

Die finslersche Ungleichung liefert eine elementar beweisbare untere Abschätzung im Zusammenhang mit der Primzahlfunktion $x\mapsto \pi (x)\,,x\in \mathbb {R}$:

Für eine natürliche Zahl $n>1$ gilt stets

$\pi (2n)-\pi (n)>{\frac {n}{3\cdot \ln(2n)}}$ .

Zweite Ungleichung

In seiner Arbeit von 1951 legte Paul Finsler auch eine zweite Ungleichung vor, nämlich eine obere Abschätzung zur Primzahlfunktion:

Für eine natürliche Zahl $n>1$ ist stets die Ungleichung

$\pi (2n)-\pi (n)<{\frac {7n}{5\cdot \ln(n)}}$

erfüllt.

Literatur

• Paul Finsler: Über die Primzahlen zwischen n und 2n. In: Festschrift zum 60. Geburtstag von Prof. Dr. Andreas Speiser. Orell Füssli, Zürich 1945, S. 118–122 (MR0014126). 
• Wacław Sierpiński: Elementary Theory of Numbers (= North-Holland Mathematical Library. Band 31). 2. überarbeitete und erweiterte Auflage. North-Holland (u. a.), Amsterdam (u. a.) 1988, ISBN 0-444-86662-0 (MR0930670). 
• József Sándor, Dragoslav S. Mitrinović, Borislav Crstici: Handbook of Number Theory. I. Chapter VII: FUNCTIONS π(x), ψ(x),θ(x), AND THE SEQUENCE OF PRIME NUMBERS. Second printing of the 1996 original. Springer, Dordrecht 2006, ISBN 978-1-4020-4215-7 (MR2186914).