From futility closet, pointing to this entry in the Encyclopedia of Integer Sequences: numbers such that divides the number of digits of
are: 1, 22, 23, 24, 266, 267, 268, 2712, 2713, 27175, 27176, 271819, 271820, 271821, 2718272, 2718273, 27182807, 27182808, 271828170, 271828171, 271828172, and so on. (For example,
has
digits. This supposedly comes from a column of Martin Gardner, “Factorial Oddities”, which I don’t have.
This seems a bit mysterious at first: what’s the decimal expansion of doing there? But there’s a simple explanation. Recall Stirling’s approximation:
. Taking log base 10, we get
. But for
to have
digits, we need
. Thus
will have
digits around when
. Solving for
gives
.
This basically all follows from the approximation .
But the numbers in that series are actually a bit below a power of 10 times ; recall
1, so if what I’d just done worked exactly we’d have 2718281 in the sequence, But we have 2718272 and 2718273, eight and nine less than that. This is because we could have used the more accurate verison of the approximation:
. Thus
is a slight underapproximation.
1. no, isn’t rational.