Answer: Suppose there exists a positive rational number r such that r^2 < 2. Then we have 2 - r^2 > 0. Let h = (2 - r^2)/4. Then h > 0 because r^2 < 2.
Consider the number rh = r + h. We have:
(rh)^2 = (r + h)^2 = r^2 + 2rh + h^2 = r^2 + 2(2 - r^2)/2 + (2 - r^2)/16
= r^2 + 2 + (2 - r^2)/16
< 2 + 2 + (2 - 2)/16 = 2.
Thus, for any positive rational number r such that r^2 < 2, there exists a larger positive rational number rh = r + h such that (rh)^2 < 2.
Explanation: