OFFSET
1,1
COMMENTS
Larger than Pi/log(2) by less than 10^(-11).
LINKS
GĂ©rard Maze and Lorenz Minder, A new family of almost identities, Elemente der Mathematik, Vol. 62, No. 3 (2007), pp. 89-97.
FORMULA
Equals (Pi/log(2)) * (1 + 2 * Sum_{k>=1} sech(2*k*Pi^2/log(2))).
EXAMPLE
4.5323601418349687021424689879289647378697386773791184248...
MATHEMATICA
RealDigits[Chop[N[Sum[1/(2^(k/2) + 2^(-k/2)), {k, -Infinity, Infinity}], 120]]][[1]]
PROG
(PARI) (Pi/log(2)) * (1 + 2 * sumpos(k = 1, 1/cosh(2*k*Pi^2/log(2))))
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Jan 25 2024
STATUS
approved