The footnote and comments talk about this, but don't exactly mention that what you want for the probability of the leading digits "2019" is log10(2.020)-log10(2

The footnote and comments talk about this, but don't exactly mention that what you want for the probability of the leading digits "2019" is log10(2.020)-log10(2.019).