Section 4.4

Section 4.4 proves some facts about the interaction of how the integers and rationals are ordered. It also proves that \(\sqrt 2\) is irrational, which motivates the construction of the real numbers in the following chapter.