Petunjuk E.25.1.

Himpunan \(\Z^+\) memuat \(1\) dan, menurut asumsi, mempunyai suatu batas atas real.
in-context