Four squared is how much bigger than the square root of 4