Suppose $$m\le n < m+1$$
$n$ rational and $m$ a positive integer. How do we prove $m$ is unique?
I realize this is true if $m$ is an integer, so $m$ must be a unique number that is an integer that is less than $n$ and the next integer that is greater than $n$. but how would you prove this fact?