A very simple proof of the irrationality of √2
fermatslibrary.com