Die Aussage, dass für jede ganze Zahl n > 1 mindestens eine Primzahl p mit n < p < 2n existiert; anders gesagt gibt es stets eine Primzahl strikt zwischen n und 2n.

Prinzip

Die ordnende Idee ist eine einheitliche lokale Existenzbehauptung über Primzahlen in kurzen Intervallen: kein Intervall [n, 2n] für n > 1 ist primfrei, was eine minimale Regelmäßigkeit der Primverteilung widerspiegelt.

Demonstration

Konkretes Beispiel: n = 10 hat Primzahlen zwischen 10 und 20 wie 11, 13, 17, 19, also gilt das Postulat für dieses n; für n = 3 liegt die Primzahl 5 zwischen 3 und 6.

Fehlanwendung

Fehlanwendung ist die Folgerung, es gebe für alle n genau eine Primzahl in (n, 2n), oder die Anwendung auf nichtganzzahlige oder nichtpositive n; das Postulat garantiert Existenz, aber weder Eindeutigkeit noch Dichte.

Konsequenz

Richtig angewandt liefert Bertrands Postulat nützliche Schranken in kombinatorischen Identitäten und Ungleichungen (z. B. für Binomialkoeffizienten) und ist ein Werkzeug zum Konstruieren von Primzahlen in vorgegebenen Bereichen.

Umkehrung

Die Umkehrung würde behaupten, einige Intervalle (n, 2n) enthielten keine Primzahlen; das widerspräche dem Postulat und würde arbiträr große Primlücken proportional zu n erlauben und viele kombinatorische Argumente ändern.

Abgrenzung

Geltungsbereich: gilt für ganze Zahlen n > 1. Es liefert nicht die Anzahl der Primzahlen im Intervall, deren genaue Größe jenseits der Schranken oder präzise asymptotische Häufigkeiten wie der Primzahlsatz.

Semantische Spannung

Spannung besteht zwischen dieser diskreten Existenzbehauptung und stärkeren analytischen Ergebnissen: Bertrand gibt eine absolute Kurzstreckengarantie, während Resultate wie der Primzahlsatz mittlere Dichten und asymptotische Zählungen behandeln.

Synthese

Bertrands Postulat ist eine konkrete Existenzgarantie: Für jede ganze Zahl größer als eins gibt es mindestens eine Primzahl streng zwischen n und 2n; es liefert minimale Regelmäßigkeit, die viele elementare kombinatorische und zahlentheoretische Konstruktionen stützt, ohne Dichte auszusagen.