From Tao, Analysis I, pp. 77-78:
I don't quite understand why the second paragraph is necessary.
In the first paragraph, we use an earlier result---trichotomy of natural numbers: if $a$ and $b$ are natural numbers, then exactly one of (i) $a>b$; (ii) $a=b$; or (iii) $a<b$ is true. We now show that (i) $\implies$ (b), (ii) $\implies$ (a), and (iii) $\implies$ (c). Isn't this sufficient to complete the proof?
Why is the second paragraph necessary?
Am I missing something?
