Karena \(M-1\) lebih kecil daripada supremum, ia bukan batas atas; pilih \(N\in\Z^+\) dengan \(N\gt M-1\) dan perhatikan \(N+1\text{.}\)