Peter Tennenbaum, as you said your father’s proof certainly does give us great pleasure. Upon my first reading of it, I was flabbergasted that I hadn’t learned it when taking real analysis! Although the traditional proof is an excellent example of a standard proof by contradiction, your father’s proof is so elegant and intuitive, it deserves a place…