Erfc[9/2/Sqrt[2]]/2