Lognormal Distribution Mean and Variance Proof