Tahap 1: ubah sasaran menjadi \(K\gt1/\epsilon_0\text{.}\) Tahap 2: gunakan sifat Archimedes untuk menemukan bilangan bulat positif yang lebih besar daripada bilangan real itu.