So I've worked through a few of the properties of Archimedas. That is, I understand that for every real number $x$, there exists a natural number $n$ such that $n>x$
And I've also been able to show that, as a consequence of this fact, that for every positive real number $x$ there exists a natural number $n$ such that $1/n<x$
I'm now trying to (and fairly unsuccessfully) show that, as a consequence of the above that for each positive $x<5$ there exists a natural number $n$ such that $5-1/n>x$
I've started out by considering a positve $x<5$. Then by the results above we can find a natural number $n$ such that $1/n<x$
Do I need to consider cases at this point? That is consider when $0<x<4$ and then when $4<x<5$? I'm a little stuck with how to properly apply Archimedes to reach my proposed result. Help?