Erfc[6/Sqrt[2]]