OFFSET
0,2
REFERENCES
Konrad Knopp, Theory and application of infinite series, Blackie & Son Limited, London and Glasgow, 1954. See exercise 109 at page 269.
Hari M. Srivastava and Junesang Choi, Zeta and q-Zeta Functions and Associated Series and Integrals, Elsevier, 2012. See eq. (493), p. 313.
LINKS
Paolo Xausa, Table of n, a(n) for n = 0..10000
I. S. Gradsteyn and I. M. Ryzhik, Table of integrals, series and products (6th ed.), 2000, (eq. 0.238.2).
FORMULA
Equals Sum_{k>=1} (-1)^(k+1) / ((2*k-1) * 2*k * (2*k+1)).
Equals Sum_{k>=1} zeta(2*k)/((2*k+1)*4^k) (Srivastava and Choi, 2012). - Amiram Eldar, Aug 01 2025
Equals Integral_{x=0..1} Integral_{y=0..x} Integral_{z=0..y} 1/(1 + z^2) dz dy dx. - Kritsada Moomuang, Oct 03 2025
EXAMPLE
0.15342640972002734529138393927091171596224993281987...
MAPLE
evalf[140]((1-log(2))/2); # Alois P. Heinz, Apr 07 2025
MATHEMATICA
First[RealDigits[(1 - Log[2])/2, 10, 100]] (* Paolo Xausa, Apr 07 2025 *)
PROG
(PARI) (1-log(2))/2 \\ Amiram Eldar, Aug 01 2025
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Apr 06 2025
STATUS
approved
