If $r$ is irrational, there is a unique integer $n$ with $|r- n|<1/2$
There are $$|n−m|\le |r−n|+|r−m|< \frac12 + \frac12 =1$$ in the answer, I understood all the steps except the relation of $|n−m|\le$ , how can we know $|n−m|\le|r−n|+|r−m|$
Our information:
- $|r−n|<1/2$
- $|r−m|<1/2$
- $|r−n|+|r−m|<1/2+1/2$
So how can we get $|n−m| \le |r−n|+|r−m|<1/2+1/2$
Thanks