Dengan mengandaikan \(\Z^+\) terbatas di atas, jelaskan mengapa terdapat batas atas terkecil \(M\) bagi \(\Z^+\text{.}\) Rubrik: verifikasi ketak-kosongan dan terapkan aksioma kelengkapan dengan tepat.