Es sei \(s>0\) mit \(s^2<2\). Dann gilt \(0<s<\sqrt{2}\).
Da \(\mathbb{Q}\) dicht in \(\mathbb{R}\) liegt, gibt es
\(x\in (s,\sqrt{2}) \cap \mathbb{Q}\). Für ein solches \(x\) gilt
\(x>s\) und \(x\in A\), also ist \(s\) keine obere Schranke von \(A\).
Dieser Beweis setzt voraus, dass die reellen Zahlen bereits
als existent bewiesen sind, samt der Existenz der Quadratwurzeln
aus positiven nat. Zahlen.