A very simple proof of the irrationality of √2 | Hacker News Reader