login
A388555
Decimal expansion of (128 * sqrt(5+7 / sqrt(2)) * exp(Pi / 2) * Gamma(5/4)^4 * sin(Pi / 8)^4) / Pi^3.
1
9, 0, 6, 7, 7, 0, 8, 1, 7, 3, 7, 6, 9, 8, 2, 3, 6, 5, 4, 4, 5, 7, 0, 4, 1, 1, 0, 2, 3, 7, 9, 2, 3, 7, 7, 7, 9, 6, 0, 2, 7, 7, 1, 1, 9, 1, 7, 6, 6, 2, 0, 3, 4, 2, 3, 2, 1, 8, 2, 5, 6, 2, 5, 4, 7, 9, 6, 9, 3, 9, 9, 4, 5, 6, 3, 3, 5, 2, 4, 0, 5, 8, 9, 2, 0, 6, 4
OFFSET
0,1
FORMULA
Empirical: Equals Sum_{k>=0} A113417(k) / exp(k*Pi).
EXAMPLE
0.90677081737698236544570411023792377795...
MATHEMATICA
First[RealDigits[(128*Sqrt[5 + 7/Sqrt[2]]*Exp[Pi/2]*Gamma[5/4]^4*Sin[Pi/8]^4)/Pi^3, 10, 100]]
PROG
(PARI) (1/32) * exp(Pi / 2) * sqrt(2) * gamma(5/8)^4 * (3+2 * sqrt(2)) * (2-2^(1/2))^(1/2) / gamma(7/8)^4 / Pi
CROSSREFS
Cf. A113417.
Sequence in context: A388374 A381497 A388756 * A387378 A093766 A363368
KEYWORD
nonn,cons
AUTHOR
Simon Plouffe, Sep 18 2025
STATUS
approved