Es sei K {\displaystyle {}K} ein archimedisch angeordneter Körper.
Dann gibt es zu x , y ∈ K {\displaystyle {}x,y\in K} mit x > 0 {\displaystyle {}x>0} stets ein n ∈ N {\displaystyle {}n\in \mathbb {N} } mit n x > y {\displaystyle {}nx>y} .
