Bertrandsches Postulat
# Bertrandsches Postulat

Das Bertrandsche Postulat (auch Satz von Bertrand-Tschebyschow) ist ein mathematisches Theorem, das besagt, dass für jede natürliche Zahl $n>1$ mindestens eine Primzahl $p$ mit $n<p<2\,n$ existiert.
Diese Behauptung wurde zuerst 1845 von dem Mathematiker Joseph Bertrand aufgestellt, der sie für natürliche Zahlen bis 3.000.000 bewies. Den ersten vollständigen Beweis für alle natürlichen Zahlen lieferte Tschebyschow fünf Jahre später. Einen weiteren, einfacheren Beweis gab der indische Mathematiker S. Ramanujan an, der dabei auch Ramanujan-Primzahlen einführte. 1932 lieferte auch Paul Erdős einen einfachen Beweis.
Ramanujan bewies eine Verallgemeinerung, die Existenz von Ramanujan-Primzahlen $R_{n}$, so dass für alle $x\geq R_{n}$ zwischen $x$ und ${\frac {x}{2}}$ mindestens $n$ Primzahlen liegen.

## Beweis für n ≤ 4000

Für die ersten 4000 natürlichen Zahlen lassen sich einfach Primzahlen angeben, sodass die Behauptung gilt. In der Folge
    $2,3,5,7,13,23,43,83,163,317,631,1259,2503,4001$ (Folge A295262 in OEIS)
von Primzahlen ist jedes Folgenglied kleiner als das Doppelte des vorhergehenden. Somit gilt die Behauptung für $n\leq 4000.$