OFFSET
1,2
COMMENTS
A constant related to the asymptotics of A032302.
LINKS
Eric Weisstein's World of Mathematics, Dilogarithm
Eric Weisstein's World of Mathematics, Polylogarithm
Wikipedia, Polylogarithm
FORMULA
Equals Pi^2/12 + log(2)^2 + Sum_{j>=1} 1 / (j^2 * 2^(2*j+1)).
Equals Pi^2/6 + log(2)^2/2 + polylog(2, -1/2).
Equals Pi^2/12 + log(2)^2 + polylog(2, 1/4)/2.
Equals -polylog(2, -2). - Vaclav Kotesovec, Jul 29 2019
EXAMPLE
1.436746366883680946362902023893583354249956435654872102667243924865...
MAPLE
evalf(Pi^2/6 + log(2)^2/2 + polylog(2, -1/2), 120);
Digits :=100 ; evalf(dilog(3)) ; # R. J. Mathar, Jan 07 2021
MATHEMATICA
RealDigits[Pi^2/12 + Log[2]^2 + PolyLog[2, 1/4]/2, 10, 120][[1]]
RealDigits[-PolyLog[2, -2], 10, 120][[1]] (* Vaclav Kotesovec, Jul 29 2019 *)
PROG
(PARI) Pi^2/6 + log(2)^2/2 + polylog(2, -1/2) \\ Michel Marcus, Jan 04 2016
(PARI) -dilog(-2) \\ Charles R Greathouse IV, Sep 08 2025
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Vaclav Kotesovec, Jan 04 2016
STATUS
approved
