is the square root of 2 rational?