Es sei K {\displaystyle {}K} ein archimedisch angeordneter Körper. Es sei x > 0 {\displaystyle {}x>0} .
Dann gibt es eine natürliche Zahl n ∈ N {\displaystyle {}n\in \mathbb {N} } mit 1 n ≤ x {\displaystyle {}{\frac {1}{n}}\leq x} .
