Proof of Lognormal Distribution Mean