login
A388462
Decimal expansion of exp(-Pi/8) * sqrt(2).
1
9, 5, 4, 9, 2, 2, 1, 2, 0, 1, 3, 9, 6, 4, 3, 8, 8, 7, 1, 4, 3, 5, 6, 2, 1, 2, 3, 2, 8, 5, 7, 6, 8, 5, 4, 2, 0, 3, 0, 1, 0, 9, 6, 3, 0, 9, 5, 6, 3, 8, 1, 4, 3, 4, 5, 1, 1, 2, 4, 2, 9, 1, 6, 9, 7, 1, 6, 1, 8, 4, 1, 0, 7, 4, 7, 5, 3, 7, 2, 1, 2, 1, 0, 7, 1, 6, 9
OFFSET
0,1
FORMULA
Empirical: Equals Sum_{k>=0} A082303(k) / exp(k*Pi).
EXAMPLE
0.95492212013964388714356212328576854203...
MATHEMATICA
First[RealDigits[Sqrt[2]*Exp[-1/8*Pi], 10, 100]]
PROG
(PARI) exp(-1/8 * Pi) * sqrt(2)
CROSSREFS
Cf. A082303.
Sequence in context: A388609 A388576 A259148 * A089491 A389022 A199792
KEYWORD
nonn,cons
AUTHOR
Simon Plouffe, Sep 17 2025
STATUS
approved