login
Denominator of n-th term of the harmonic series after removal of all terms 1/m from Sum_{m=1..n} 1/m for which m contains a 9 in its decimal representation.
1

%I #22 Sep 08 2022 08:45:21

%S 1,2,6,12,60,20,140,280,280,3080,9240,120120,120120,40040,80080,

%T 1361360,12252240,2450448,2450448,2450448,56360304,56360304,

%U 1409007600,1409007600,4227022800,4227022800,4227022800,131037706800,262075413600

%N Denominator of n-th term of the harmonic series after removal of all terms 1/m from Sum_{m=1..n} 1/m for which m contains a 9 in its decimal representation.

%C Numerator = A111935;

%C lim_{n->infinity} A111935(n)/a(n) = C < 80.

%D G. Pólya and G. Szegő, Problems and Theorems in Analysis I (Springer 1924, reprinted 1972), Part One, Chap. 3, sect. 4, Problem 124.

%e n=9: 1/1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + 1/10 = 789/280, therefore a(9) = 280.

%t Denominator[Accumulate[DeleteCases[Table[1/n,{n,40}],_?(MemberQ[ IntegerDigits[ Denominator[#]],9]&)]]] (* _Harvey P. Dale_, Mar 05 2013 *)

%o (Magma) a:=[k:k in [1..100]| not 9 in Intseq(k)]; [Denominator( &+[1/a[m]: m in [1..n]]): n in [1..30] ]; // _Marius A. Burtea_, Dec 29 2019

%Y Cf. A002805, A007095, A082838, A111935 (numerators).

%K nonn,base,frac

%O 1,2

%A _Reinhard Zumkeller_, Aug 22 2005

%E Definition edited by _N. J. A. Sloane_, Dec 30 2019