login
A388480
Decimal expansion of 2 * sqrt(2 * (1+sqrt(2))) * exp(-Pi/2).
1
9, 1, 3, 5, 7, 5, 9, 5, 2, 2, 0, 4, 0, 0, 3, 0, 4, 7, 6, 7, 6, 4, 6, 8, 9, 6, 8, 5, 8, 0, 3, 6, 5, 8, 2, 6, 9, 4, 5, 0, 3, 4, 7, 7, 6, 9, 8, 0, 3, 8, 2, 3, 9, 3, 7, 1, 2, 3, 7, 6, 2, 5, 6, 0, 1, 0, 2, 2, 6, 7, 5, 0, 4, 3, 5, 8, 0, 5, 9, 0, 5, 2, 1, 3, 7, 5, 7
OFFSET
0,1
FORMULA
Empirical: Equals Sum_{k>=0} A093085(k) / exp(k*Pi).
EXAMPLE
0.91357595220400304767646896858036582694...
MATHEMATICA
First[RealDigits[2*Sqrt[2*(1 + Sqrt[2])]*Exp[-1/2*Pi], 10, 100]]
PROG
(PARI) 2 * exp(-Pi / 2) * 2^(1/4) * (2+2^(1/2))^(1/2)
CROSSREFS
Cf. A093085.
Sequence in context: A388560 A388873 A388661 * A248557 A388580 A388660
KEYWORD
nonn,cons
AUTHOR
Simon Plouffe, Sep 17 2025
STATUS
approved