[inequality] Add a reference to `prob_dist` from `inequality`

[HengchengZhang]

Also define the parameters in lognormal distribution.