(related to Corollary: Existence of Arbitrarily Small Positive Rational Numbers)
If \(\epsilon^{-1}\) is a positive real number, then it follows from the corresponding proposition that there exists a natural number \(n\) such that \(n > \epsilon^{-1}\). The rules of calculation with inequalities ensure the required result
\[0 < \frac 1n < \epsilon.\]
