OFFSET
0,5
LINKS
Jason Bard, Table of n, a(n) for n = 0..1003
Michael I. Shamos, A catalog of the real numbers, (2007). See p. 21.
FORMULA
Equals (1/22528) * hypergeometric(11/12, 1; 23/12; 1/4096).
Equals (-6*Pi - 4*sqrt(3)*Pi + 12*arctan(2) - 3*arctan(12/5) + 6*sqrt(3) * arctan(5/sqrt(3)) + 6*sqrt(3) * arctanh((2*sqrt(3))/5) + log(9261))/72.
EXAMPLE
0.000044394388389732931619793708861045902941185047688518...
MATHEMATICA
Join[{0, 0, 0, 0}, RealDigits[1/72 (-4 (3 + Sqrt[3]) Pi + 3 (4 ArcTan[2] + 2 Sqrt[3] ArcTan[5/Sqrt[3]] + 2 ArcTan[4 - Sqrt[3]] + 2 ArcTan[4 + Sqrt[3]] + Log[21] - Sqrt[3] Log[5 - 2 Sqrt[3]] + Sqrt[3] Log[5 + 2 Sqrt[3]])), 10, 100][[1]]]
(* or *)
Join[{0, 0, 0, 0}, RealDigits[Integrate[1/(x^12 - 1), {x, 2, Infinity}], 10, 100][[1]]]
(* or *)
Join[{0, 0, 0, 0}, RealDigits[1/22528*Hypergeometric2F1[11/12, 1, 23/12, 1/4096], 10, 100][[1]]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Jason Bard, Jul 31 2025
STATUS
approved
