Proving irrationality of square root of 2 without using contradiction | Hacker News Reader