OFFSET
0,1
FORMULA
Equals exp(7*Pi/24) * Gamma(1/4) * ((sqrt(5 - sqrt(7)) - sqrt(3*sqrt(7) - 7)) * (2^(1/4) * sqrt(5 + sqrt(7)) + (56 + 23*sqrt(7))^(1/4)))^(1/4) / (2^(19/16) * 7^(7/16) * Pi^(3/4)).
EXAMPLE
0.999999999718573154172243658382901236462919560257076490298122086100117...
MATHEMATICA
RealDigits[E^(7*Pi/24) * Gamma[1/4] * ((Sqrt[5 - Sqrt[7]] - Sqrt[3*Sqrt[7] - 7]) * (2^(1/4) * Sqrt[5 + Sqrt[7]] + (56 + 23*Sqrt[7])^(1/4)))^(1/4) / (2^(19/16) * 7^(7/16) * Pi^(3/4)), 10, 120][[1]]
RealDigits[QPochhammer[E^(-7*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)), A259151 phi(exp(-8*Pi)), A363118 phi(exp(-9*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