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, daß es “unendlich viele Primzahlen gibt” soll ja doch ein Existenzbeweis sein, und wie ist der ohne Konstruktion möglich?