Kann man aus der Ungleichung:
[e|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 “[U|u]nendlich viele Primzahlen gibt” soll ja doch ein Existenzbeweis sein, und wie ist der ohne Konstruktion möglich?