Sqrt(2)!