Proving irrationality of √2 (sqrt 2) without using contradiction | Hacker News Reader