Pernyataan yang diandaikan salah adalah \(\exists N\in\Z^+\;(N\gt x)\text{.}\) Negasinya ialah \(\forall N\in\Z^+\;(N\leq x)\text{.}\) Dengan demikian setiap unsur \(\Z^+\) tidak melebihi bilangan real \(x\text{.}\) Menurut definisi, \(x\) adalah batas atas bagi \(\Z^+\text{;}\) karena itu \(\Z^+\) terbatas di atas.