Es sei K {\displaystyle {}K} ein angeordneter Körper und es seien ( x n ) n ∈ N {\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }} und ( y n ) n ∈ N {\displaystyle {}{\left(y_{n}\right)}_{n\in \mathbb {N} }} konvergente Folgen mit x n ≥ y n {\displaystyle {}x_{n}\geq y_{n}} für alle n ∈ N {\displaystyle {}n\in \mathbb {N} } .
Dann ist
