OFFSET
1,1
LINKS
Ali Shadhar Olaikhan, An Introduction to the Harmonic Series and Logarithmic Integrals, 2nd ed., 2023, section 4.9.3, pp. 365-367, eq. (4.169).
FORMULA
Equals zeta(4) + 8*log(2)^2*zeta(2) - log(2)^4/3 - 8*Li_4(1/2).
EXAMPLE
3.188053948370552153757444514206146247588638821704943...
MATHEMATICA
RealDigits[Zeta[4] + 8*Log[2]^2*Zeta[2] - Log[2]^4/3 - 8*PolyLog[4, 1/2], 10, 120][[1]]
PROG
(PARI) zeta(4) + 8*log(2)^2*zeta(2) - log(2)^4/3 - 8*polylog(4, 1/2)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Jul 28 2026
STATUS
approved