OFFSET
2,1
COMMENTS
In 1914, Kempner proved that the series 1/1 + 1/2 + ... + 1/8 + 1/10 + 1/11 + ... + 1/18 + 1/20 + 1/21 + ..., where the denominators are the positive integers that do not contain the digit 9, converges to a sum less than 90. (The actual sum is about 22.92068.) In 1916, Irwin proved that the sum of 1/n where n has at most a finite number of 9's is also a convergent series. We show how to compute sums of Irwin's series to high precision.
For example, the sum of the series 1/9 + 1/19 + 1/29 + 1/39 + 1/49 + ..., where the denominators have exactly one 9, is about 23.04428708074784831968. Note that this is larger than the sum of Kempner's "no 9" series. We also show how to construct nontrivial subseries of the harmonic series that have arbitrarily large, but computable, sums. For example, the sum of 1/n where n has at most 434 occurrences of the digit 0 is about 10016.32364577640186109739.
LINKS
EXAMPLE
23.04428708074784831968...
MATHEMATICA
(* first install irwinSums.m, see reference, then *) First@ RealDigits@ iSum[9, 1, 111] (* Robert G. Wilson v, Aug 03 2010 *)
CROSSREFS
KEYWORD
AUTHOR
Jonathan Vos Post, Jun 30 2008
EXTENSIONS
Offset corrected R. J. Mathar, Jan 26 2009
More terms from Robert G. Wilson v, Aug 03 2010
STATUS
approved