Kann man aus der Ungleichung:
       1 +
1
2
+
1
3
+
1
4
+ … ≠ (1 +
1
2
+
1
+
1
+ …) × (1 +
1
3
+
1
; + …)
eine Zahl n ableiten // konstruieren // , die jedenfalls in den Kombinationen der rechten Seite noch fehlt? Der Euler'sche Beweis dafür, dass es “unendlich viele Primzahlen gibt” soll ja ein Existenzbeweis sein, und wie ist der ohne Konstruktion möglich?