Irrationality of square root of 2