OFFSET
1,2
COMMENTS
Shamos has incorrect integral expression for this constant.
REFERENCES
I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series and Products, Academic Press (1979), Eq. (4.421.1).
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals -Integral_{x=0..infinity} log(x) * sin(2*x) / x dx.
More generally, Integral_{x=0..infinity} log(x) * sin(k*x) / x dx = -(Pi/2) * (gamma+log(k)).
EXAMPLE
1.995481291347602815056911714754326983223123940...
MAPLE
evalf((gamma+log(2))*Pi/2, 140); # Alois P. Heinz, Aug 20 2021
MATHEMATICA
RealDigits[(EulerGamma + Log[2])*Pi/2, 10, 120][[1]] (* Amiram Eldar, Jun 07 2023 *)
PROG
(PARI) (Euler + log(2))*Pi/2 \\ Michel Marcus, Aug 20 2021
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 20 2021
STATUS
approved