login
A388453
Decimal expansion of exp(-Pi/12) * sqrt(2).
1
1, 0, 8, 8, 4, 7, 1, 2, 6, 4, 8, 3, 7, 4, 2, 2, 3, 2, 3, 8, 2, 4, 2, 3, 1, 2, 0, 9, 5, 0, 8, 8, 3, 6, 1, 5, 4, 6, 4, 7, 8, 5, 1, 4, 4, 8, 2, 1, 2, 1, 1, 2, 1, 9, 6, 2, 0, 0, 4, 7, 4, 4, 8, 0, 0, 3, 5, 4, 9, 1, 2, 3, 0, 6, 2, 9, 6, 5, 8, 9, 2, 2, 7, 4, 0, 6, 7
OFFSET
1,3
FORMULA
Empirical: Equals Sum_{k>=0} A073252(k) / exp(k*Pi).
EXAMPLE
1.0884712648374223238242312095088361546478514482121121962004744800354912306296589....
MATHEMATICA
First[RealDigits[Sqrt[2]*Exp[-1/12*Pi], 10, 100]]
PROG
(PARI) exp(-1/12 * Pi) * sqrt(2)
CROSSREFS
Cf. A073252.
Sequence in context: A388483 A388884 A388598 * A388521 A154841 A258984
KEYWORD
nonn,cons
AUTHOR
Simon Plouffe, Sep 17 2025
STATUS
approved