Es sei K {\displaystyle {}K} ein archimedisch angeordneter Körper und x ∈ K {\displaystyle {}x\in K} mit 0 < x < 1 {\displaystyle {}0<x<1} .
Dann gibt es zu jedem positiven ϵ ∈ K {\displaystyle {}\epsilon \in K} eine natürliche Zahl n ∈ N {\displaystyle {}n\in \mathbb {N} } mit
