若 x>yx>yx>y,递增函数 fnf_nfn 和 gng_ngn 保持顺序。由 fn(x)=x+naf_n(x)=x+nafn(x)=x+na 得第一条不等式,由上一步的 gn(x)=x−nag_n(x)=x-nagn(x)=x−na 得第二条。因此 x−y+n(a−b)x-y+n(a-b)x−y+n(a−b) 与 x−y−n(a−b)x-y-n(a-b)x−y−n(a−b) 都为正,故对每个正整数 nnn 有 ∣n(a−b)∣<x−y|n(a-b)|<x-y∣n(a−b)∣<x−y。