fixing and simplifying lognormal cdf