Buktikan bahwa pernyataan “untuk setiap \(x\gt0\) terdapat \(N\in\Z^+\) dengan \(1/N\lt x\)” ekuivalen dengan sifat Archimedes. Rubrik: buktikan kedua arah, pisahkan kasus batas real tak positif dalam arah balik, dan jaga tanda ketika mengambil kebalikan.