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