login

Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.

A377962
Decimal expansion of (8*G - Pi*log(2 + sqrt(3)))/3, where G = A006752.
0
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, 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, 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
OFFSET
1,3
REFERENCES
Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 1.7.2, p. 55.
LINKS
Michael I. Shamos, A catalog of the real numbers, (2007). See p. 100.
FORMULA
Equals Sum_{k>=0} 1/(binomial(2*k,k)*(2*k + 1)^2) (see Finch and Shamos).
EXAMPLE
1.0634598331172279307675003455884827505711352959...
MATHEMATICA
RealDigits[(8Catalan-Pi Log[2+Sqrt[3]])/3, 10, 100][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Stefano Spezia, Nov 12 2024
STATUS
approved