For sure we all remember from highschool (or university if you are not Romanian 🙂 ) that the harmonic series converges to infinity:
This can be proved with Lagrange theorem 🙂 applied for logarithmic function. Maybe I’ll add a post with the proof later.
Years ago I meet a really interesting problem proposed at one of the calculus exams at Berkeley. Consider the set of all the positive integers that don’t contain the digit 9. In math notation:
This is really interesting. Apparently the numbers that don’t contain the digit 9 are not so many, but if we don’t add their inverses to harmonic series we end up with a finite result. Even more, if we consider the sum of the inverses of numbers that contain the digit 9, this will converge to infinity.
To prove this, remember an old post related to how many numbers don’t contain the digit 9. I explained there that the count of numbers that don’t contain the digit 9, and having up to n digits is . We also counted , so the number of strictly positive integers is . The sum we need to compute can be grouped based on the number of digits of the numbers:
A term of the above summation means actually the sum of the inverses of positive integers having i digits and that don’t contain the digit 9. So each term consist of an other sum having terms. Then for each term we have the following inequality (if you understand it in less than 1 minute you are good 🙂 ):
Summing over i:
Now it is clear that:
Even more, the sum is less than 80.
If you followed the proof up to this point then you probably noticed that:
is the sum of inverses positive integers that CONTAIN digit 9 plus the sum of inverses of integers that DON”T CONTAIN digit 9. But we just proved that the sum of inverses of integers that don’t contain digit 9 is finite. Because the harmonic series is infinite it follows that the sum of inverses of integers that contain digit 9 converges to infinity? Yes, this is true, even if at first glance there seem to be more numbers that don’t contain digit 9 than numbers that contain digit 9. I’ll give details in my next post.