==> probability/leading.digit.p <==
What is the probability that the ratio of two random reals starts with a 1?
What about 9?