Schau dir mal den Beweis an das es unendlich viele Primzahlen gibt.
Bekannt sind also die ersten n Primzahlen: p1, p2, p3, ..., pn
Sei N = p1·p2·p3·...·pn + 1 < pn^n + 1, dann hat N eine Primfaktorzerlegung und insbesondere einen Primteiler q ≤ N. Diese Primzahl q ist aber von allen Primzahlen verschieden, da N bei Division durch diese Primzahlen stets den Rest 1 besitzt.
Also ist bereits N eine obere Abschätzung für die nächste Primzahl und damit natürlich auch pn^n + 1