Asumsi tersebut menyatakan \(N\leq x\) bagi setiap \(N\in\Z^+\text{.}\) Jadi \(x\) adalah batas atas bagi \(\Z^+\text{,}\) dan \(\Z^+\) terbatas di atas.