login
A388623
Decimal expansion of ((-4+3 * sqrt(2)) * exp(Pi)) / 8.
1
7, 0, 1, 8, 5, 9, 1, 9, 5, 1, 0, 4, 2, 1, 7, 6, 8, 2, 4, 4, 0, 4, 5, 2, 9, 6, 7, 2, 5, 8, 6, 5, 1, 9, 7, 2, 9, 4, 3, 9, 5, 2, 5, 4, 6, 9, 4, 1, 8, 1, 5, 4, 1, 1, 6, 8, 1, 7, 1, 2, 5, 9, 2, 4, 1, 0, 4, 0, 2, 8, 5, 5, 2, 4, 9, 1, 3, 4, 7, 1, 8, 0, 1, 6, 3, 9, 7
OFFSET
0,1
FORMULA
Empirical: Equals Sum_{k>=0} A134747(k) / exp(k*Pi).
EXAMPLE
0.70185919510421768244045296725865197294395254694181541168171259241040285524....
MATHEMATICA
First[RealDigits[((-4 + 3*Sqrt[2])*Exp[Pi])/8, 10, 100]]
PROG
(PARI) -(1/8) * exp(Pi) * sqrt(2) * (-3+2 * sqrt(2))
CROSSREFS
Cf. A134747.
Sequence in context: A186642 A153626 A388183 * A297787 A101031 A395233
KEYWORD
nonn,cons
AUTHOR
Simon Plouffe, Sep 18 2025
STATUS
approved