cdf for normal in terms of erf has x/sqrt(2)

not just x