In need for a proof from the book.



Is there a proof from the book that there is a square of a rational
between any two rationals? (Preferably with no reference to real
numbers)

.