pi/2 erfc(1/sqrt2)