Andaikan bahwa untuk setiap \(x,y\in\R\) dengan \(x\gt0\) ada \(N\in\Z^+\) yang memenuhi \(Nx\gt y\text{.}\) Buktikan sifat Archimedes dan simpulkan ekuivalensi kedua pernyataan. Rubrik: buat satu substitusi yang berlaku bagi sebarang batas real.