A377962 - OEIS

%I #5 Nov 12 2024 17:23:03

%S 1,0,6,3,4,5,9,8,3,3,1,1,7,2,2,7,9,3,0,7,6,7,5,0,0,3,4,5,5,8,8,4,8,2,

%T 7,5,0,5,7,1,1,3,5,2,9,5,9,0,0,5,5,5,9,9,7,5,2,2,3,8,9,6,6,1,3,1,4,2,

%U 9,7,5,8,0,5,2,1,1,0,8,4,5,6,2,1,7,6,4,5,6,2,8,1,2,8,2,3,0,8,6,9

%N Decimal expansion of (8*G - Pi*log(2 + sqrt(3)))/3, where G = A006752.

%D Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 1.7.2, p. 55.

%H Michael I. Shamos, <a href="http://euro.ecom.cmu.edu/people/faculty/mshamos/cat.pdf">A catalog of the real numbers</a>, (2007). See p. 100.

%F Equals Sum_{k>=0} 1/(binomial(2*k,k)*(2*k + 1)^2) (see Finch and Shamos).

%e 1.0634598331172279307675003455884827505711352959...

%t RealDigits[(8Catalan-Pi Log[2+Sqrt[3]])/3,10,100][[1]]

%Y Cf. A000796, A006752, A065918.

%K nonn,cons

%O 1,3

%A _Stefano Spezia_, Nov 12 2024