OFFSET
0,1
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals sinh(Pi) * cosh(Pi*sqrt(3)/2)^2 * (cosh(Pi) - cos(Pi*sqrt(3))) / (24*Pi^5).
Equals exp(Sum_{j>=1} (1 - zeta(12*j))/j). - Vaclav Kotesovec, Aug 01 2021
EXAMPLE
0.999753913921893256003448570641909727180...
MAPLE
evalf(sinh(Pi) * cosh(Pi*sqrt(3)/2)^2 * (cosh(Pi) - cos(Pi*sqrt(3))) / (24*Pi^5), 120); # Vaclav Kotesovec, Aug 01 2021
MATHEMATICA
RealDigits[Sinh[Pi]*Cosh[Pi*Sqrt[3]/2]^2*(Cosh[Pi] - Cos[Pi*Sqrt[3]])/(24*Pi^5), 10, 120][[1]] (* Amiram Eldar, Jun 12 2023 *)
PROG
(PARI) exp(suminf(j=1, (1 - zeta(12*j))/j)) \\ Vaclav Kotesovec, Aug 01 2021
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Jul 31 2021
STATUS
approved