Sum of harmonic series without 9s
Yesterday, I stumbled across the following question:
Does the following sum converge if you exclude all terms that don't include a ?
A little dash of anthropic reasoning suggests yes. Why would anyone have written the question on a poster and fixed it to the wall if otherwise? The base rate for chaotic trolls who also like math puzzles seems pretty low.
Fortunately, we can do better than anthropic reasoning, and, after thinking about it for a bit with Matt MacDermott, we found the answer:
First, let's rewrite the sum as
where is an indicator function,
The trick is to convert this sum over numbers into a sum over numbers of digits, then find an upper bound:
where is the number of numbers with digits that don't contain , which we can compute by straightforward combinatorics,
So we end up with a new infinite sum for an upper bound to our original sum: