(2^0.5)!