Wir betrachten y / x {\displaystyle {}y/x} . Aufgrund des Archimedes-Axioms gibt es ein n {\displaystyle {}n} mit n ≥ y / x {\displaystyle {}n\geq y/x} . Da x {\displaystyle {}x} positiv ist, gilt nach Fakt (6) auch n x ≥ y {\displaystyle {}nx\geq y} .
