OFFSET
0,2
LINKS
I. S. Gradsteyn and I. M. Ryzhik, Table of integrals, series and products (6th ed.), 2000, (eq. 0.239.7).
FORMULA
Equals Sum_{k>=1} 1/((8*k-1)*(8*k+1)).
From Amiram Eldar, Aug 08 2025: (Start)
Equals Sum_{k>=1} 1/A158684(k).
Equals (1 - cot(Pi/8)*Pi/8)/2. (End)
EXAMPLE
0.02597027551574003215759...
MATHEMATICA
Join[{0}, RealDigits[1/2-(Pi(Sqrt[2]+1))/16, 10, 120][[1]]] (* Harvey P. Dale, Apr 30 2025 *)
PROG
(PARI) 1/2-Pi*(sqrt(2)+1)/16 \\ Charles R Greathouse IV, May 19 2026
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Apr 08 2025
STATUS
approved
