what is pi times square root of 2