OFFSET
0,1
FORMULA
Equals exp(3*Pi/8) * Gamma(1/4) * ((3*(6 + 7*sqrt(3) + 3*sqrt(14*sqrt(3) - 15)))^(1/3) - 3)^(1/3) / (3 * 2^(7/8) * Pi^(3/4)).
EXAMPLE
0.999999999999474451482399078943233394928797164400527513438819873918260...
MATHEMATICA
RealDigits[E^(3*Pi/8) * Gamma[1/4] * ((3*(6 + 7*Sqrt[3] + 3*Sqrt[14*Sqrt[3] - 15]))^(1/3) - 3)^(1/3) / (3 * 2^(7/8) * Pi^(3/4)), 10, 120][[1]]
RealDigits[QPochhammer[E^(-9*Pi)], 10, 120][[1]]
CROSSREFS
Cf. A259148 phi(exp(-Pi)), A259149 phi(exp(-2*Pi)), A292888 phi(exp(-3*Pi)), A259150 phi(exp(-4*Pi)), A292905 phi(exp(-5*Pi)), A363018 phi(exp(-6*Pi)), A363117 phi(exp(-7*Pi)), A259151 phi(exp(-8*Pi)), A363019 phi(exp(-10*Pi)), A363081 phi(exp(-11*Pi)), A363020 phi(exp(-12*Pi)), A363178 phi(exp(-13*Pi)), A363119 phi(exp(-14*Pi)), A363179 phi(exp(-15*Pi)), A292864 phi(exp(-16*Pi)), A363120 phi(exp(-18*Pi)), A363021 phi(exp(-20*Pi)).
KEYWORD
nonn,cons
AUTHOR
Vaclav Kotesovec, May 15 2023
STATUS
approved