I'm trying to understand the solution to the following problem I took from Hijab's "Introduction to Calculus and Analysis":
The solution is:
We are using the following definition and theorem:
And when he says "from the text" is that he proved earlier in the text that there are no naturals between $1$ and $2$.
Question: Why does $n< m-1 < n+1$ contradicts $n\in S$?




