OFFSET
0,1
REFERENCES
Ovidiu Furdui, Limits, Series, and Fractional Part Integrals, Springer, 2013, section 3.4, p. 148.
FORMULA
Equals (9*zeta(3) + 4*log(2)^3 - Pi^2*log(2))/12.
EXAMPLE
0.44246018937791249521879821917465633518413362702258...
MATHEMATICA
RealDigits[(9*Zeta[3] + 4*Log[2]^3 - Pi^2*Log[2])/12, 10, 120][[1]]
PROG
(PARI) (9*zeta(3) + 4*log(2)^3 - Pi^2*log(2))/12
CROSSREFS
KEYWORD
AUTHOR
Amiram Eldar, May 30 2025
STATUS
approved
