Andaikan \(M=\sup(\Z^+)\text{.}\) Buktikan bahwa \(M\) tidak mungkin menjadi batas atas terkecil, lalu simpulkan sifat Archimedes. Rubrik: gunakan \(M-1\lt M\) untuk memperoleh bilangan bulat positif yang menghasilkan unsur baru di atas \(M\text{.}\)