OFFSET
0,1
LINKS
Mathematics Stack Exchange, On a log-gamma definite integral, 2020.
Michael I. Shamos, A catalog of the real numbers, 2011, p. 596.
FORMULA
Equals Sum_{k>=1} (polylog(2, 1/k) - 1/k).
From Velin Yanev, Jul 30 2025: (Start)
Equals Integral_{x=0..1} log(Gamma(1 - x))/x dx - A001620. [Proved by Paul Enta, 2020]
Conjecture: Equals 2 - A001620 - Pi^2/12 + Integral_{x=0..oo} (2*x*arccot(x) - log(1/x^2 + 1))*log(1 - exp(-2*Pi*x))/(2*Pi*(x^2 + 1)) dx. (End)
EXAMPLE
0.835998332700964322970911198696029096427042168093233248329556349257701895253...
PROG
(PARI) sumpos(k=2, zeta(k)/k^2)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Vaclav Kotesovec, Sep 23 2023
STATUS
approved