[richy]

Zu Euklid.
Man kann auch folgende Beweismethode fuer undendlich viel Primzahlen verweden. Sei p_max die groesste angenommene Primzahl, dann enthaelt das Primorial p_max# plus eins =2*3*5*7*11....*p_max +1 einen Primfaktor, der goesser ist als p_max. Dies folgt aus einem einfachen Satz ueber die Primfaktoren von Summen. Damit muesste man nun schon die Existenz von p_max# + 1 widerlegen, damit diese Primzahl p>p_max nicht existiert.
Das Primorial p_max# ist eine zusammengesetze natuerliche Zahl und muesste in diesem Fall die groesste natuerliche Zahl sein. "Zufaelligerweise" ein Primorial. Hmm. Meines Wissens laesst sich aber auch nicht beweisen, dass es keine groesste natuerliche Zahl gibt. So erstaunlich dies auch klingen mag, aber es koennte an einer Stelle auch einfach Schluss sein. Im obigen Szenario waere die Begruendung, dass dem Meister die Primzahlen "ausgegangen" sind. :-)
Gruesse