# math proof: $m\le n<m+1$, $n$ rational and $m$ positive integer. How do we prove $m$ is unique?

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?

-

$\textbf{Hint:}$ Suppose $k$ is an integer such that $k\neq m$ and $k\leq n <k+1$. Since $k\neq m$, we have $k<m$ or $m<k$. In either case find a contradiction.
Let $S = \{ m \in \mathbb{Z} \mid m \leq n < m+1 \}$. By the Well-Ordering Principle, $S$ has a smallest element; call it $m_0$. Now suppose that $m_1$ is an integer satisfying $m_1 \leq n < m_1 + 1$. Then $m_1 \in S$, so $m_0 \leq m_1$. Also, $$m_1 - m_0 \leq n - m_0 \leq n - n = 0,$$ so $m_1 \leq m_0$. Since $m_0 \leq m_1$ and $m_1 \leq m_0$, we must have $m_0 = m_1$.