OFFSET
0,1
FORMULA
Equals exp(-Sum_{k>=1} (zeta(2*k) * (zeta(2*k)-1) * (1 - 1/4^k) / k)). - Amiram Eldar, Jun 26 2026
EXAMPLE
0.4297802164379917065847895147063304...
MATHEMATICA
With[{m = 1000}, RealDigits[Exp[-NSum[(1 - 1/4^k)*Zeta[2*k] (Zeta[2*k] - 1)/k, {k, 1, Infinity}, WorkingPrecision -> m, PrecisionGoal -> m, AccuracyGoal -> m, NSumTerms -> m]], 10, 120][[1]]] (* Amiram Eldar, Jun 26 2026 *)
PROG
(PARI) exp(sumpos(n=2, log(cos(Pi/(2*n))))) \\ Michel Marcus, Aug 29 2023
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
R. J. Mathar, Aug 29 2023
STATUS
approved
