Extreme Extreme Proofs I: The Irrationality of √2 [pdf] | Hacker News Reader