OFFSET
0,1
LINKS
Mathematics Stack Exchange, Additional values of Dedekind's eta function in radical form.
FORMULA
Equals exp(7*Pi/12) * Gamma(1/4) * sqrt(sqrt(5 - sqrt(7)) - sqrt(3*sqrt(7) - 7)) / (2^(13/8) * 7^(7/16) * Pi^(3/4)).
EXAMPLE
0.999999999999999999920798930492018877357821248361115796849980384110811...
MATHEMATICA
RealDigits[E^(7*Pi/12) * Gamma[1/4] * Sqrt[Sqrt[5 - Sqrt[7]] - Sqrt[3*Sqrt[7] - 7]] / (2^(13/8) * 7^(7/16) * Pi^(3/4)), 10, 120][[1]]
RealDigits[QPochhammer[E^(-14*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)), 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)), 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