Ada \(N\in\Z^+\) dengan \(N\gt M-1\text{,}\) sehingga \(N+1\in\Z^+\) dan \(N+1\gt M\text{.}\) Ini bertentangan dengan \(M\) sebagai batas atas. Jadi \(\Z^+\) tidak terbatas di atas, yang persis menyatakan bahwa untuk setiap \(x\in\R\) ada \(N\in\Z^+\) dengan \(N\gt x\text{.}\)