ABSTRACT
Show that, for each irrational number a, there exists a rational number p/q such that
a p q q
− < 1 2
.
Even in its most complicated form, the principle seems so obvious that you might well suspect it could have no value. However, we shall see some really clever and pretty proofs, often with surprising outcomes, which show that such an assessment is hopelessly wrong!
