# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/ Search: id:a185585 Showing 1-1 of 1 %I A185585 #61 May 15 2020 02:50:25 %S A185585 3,3,4,5,5,5,6,5,7,8,8,9,10,10,10,10,8,11,12,12,13,14,14,13,15,13,16, %T A185585 17,17,18,19,19,19,20,19,21,22,22,23,24,24,24,24,23,24,25,25,26,27,27, %U A185585 26,28,26,29,30,30,31,32 %N A185585 Let f(n) = Sum_{j>=1} j^n/binomial(2*j,j) = r_n*Pi*sqrt(3)/3^{t_n} + s_n/3; sequence gives t_n. %H A185585 Petros Hadjicostas, Table of n, a(n) for n = 0..300 %H A185585 F. J. Dyson, N. E. Frankel and M. L. Glasser, Lehmer's Interesting Series, arXiv:1009.4274 [math-ph], 2010-2011. %H A185585 F. J. Dyson, N. E. Frankel and M. L. Glasser, Lehmer's interesting series, Amer. Math. Monthly, 120 (2013), 116-130. %H A185585 D. H. Lehmer, Interesting series involving the central binomial coefficient, Amer. Math. Monthly, 92(7) (1985), 449-457. %F A185585 a(n) = ilog[3](denominator(2*Sum_{m=1..n+1} Sum_{p=0..m-1} (-1)^p * (m!/((p+1)*3^(m+2))) * Stirling2(n+1,m) * binomial(2*p,p) * binomial(m-1,p))), where ilog[3](3^k) = k. [It follows from Theorem 1 in Dyson et al. (2013).] - _Petros Hadjicostas_, May 14 2020 %p A185585 # The function LehmerSer is defined in A181334. %p A185585 a := n -> ilog[3](denom(LehmerSer(n))): %p A185585 seq(a(n), n=0..57); # _Peter Luschny_, May 15 2020 %t A185585 f[n_] := Sum[j^n/Binomial[2*j, j], {j, 1, Infinity}]; %t A185585 a[n_] := 1 + Log[3, Denominator[Expand[FunctionExpand[f[n]]][[2, 1]]]]; %t A185585 Table[an = a[n]; Print["a(", n, ") = ", an]; an, {n, 0, 60}] (* _Jean-François Alcover_, Nov 24 2017 *) %o A185585 (PARI) a(n) = logint(denominator(2*sum(m=1, n+1, sum(p=0, m-1, (-1)^p*(m!/((p+1)*3^(m+2)))*stirling(n+1,m,2)*binomial(2*p,p)*binomial(m-1,p)))), 3) \\ _Petros Hadjicostas_, May 14 2020 %Y A185585 Cf. A098830 (s_n), A181334 (r_n), A181374, A180875, A014307. %K A185585 nonn %O A185585 0,1 %A A185585 _N. J. A. Sloane_, Feb 09 2011, following a suggestion from _Herb Conn_ %E A185585 a(11)-a(57) from _Nathaniel Johnston_, Apr 07 2011 # Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE