Theorems
Benford's law
The probability for the number n to occur in the normal continued fraction expansion