square root of 2 is a ...