Given a real number $x$, and a real number $\epsilon>0$ arbitrary small as possible, can we find an integer $n$ such that $|nx-\left \lfloor{xn}\right \rfloor |<\epsilon$ or or $|nx-\left \lceil{xn}\right \rceil|<\epsilon$. ? and if so- can we find either an exact number $n=f(x,\epsilon)$ or even an upper bound over $n$?
Edit: For $x\in\mathbb R\setminus\mathbb Q$, the set $\{nx-\lfloor nx\rfloor: n\in \mathbb{N}\}$ is dense on $[0,1)$ proved that such $n$ exists. However, I wish to know any upper bound\exact formula for $n$ :)
I know that the above is true by replacing the above constrain by $|nx-\left \lfloor{xn}\right \rfloor |<\epsilon\cdot n$. This follows simply as for each irrational $x$ number there is a series of rational numbers converging to $x$. However, I wish to prove\disprove a more generalized statement.
I found a really simply upper bound using Dirichlet's approximation theorem: https://en.wikipedia.org/wiki/Dirichlet%27s_approximation_theorem
By using the upper bound $n\leq\left \lceil{1/\epsilon}\right \rceil$.
Note: It doesn't really matter for me if it is $|nx-\left \lfloor{xn}\right \rfloor |<\epsilon$ or $|nx-\left \lceil{xn}\right \rceil|<\epsilon$. I will update my question above.