Proving irrationality of √2 (sqrt 2) without using contradiction · HackerTrans