Estimation of P(Y<X) for lognormal distribution. Issue 6 (2nd November 2022)