OFFSET
1,9
LINKS
Eric Weisstein's World of Mathematics, Dedekind Eta Function
Eric Weisstein's World of Mathematics, q-Pochhammer Symbol
Wikipedia, Dedekind eta function
Wikipedia, Euler function
FORMULA
Root r of the equation 2^(3/4)*r^6 + 2^(17/8)*exp(5*Pi/24)*r^5 + 2^(5/8)*exp(25*Pi/24)*r - exp(5*Pi/4) = 0.
Equals exp(5*Pi/24) * sqrt(2 + sqrt(5) - sqrt((15 + 7*sqrt(5))/2))/2^(1/8). - Vaclav Kotesovec, May 13 2023
EXAMPLE
1.000000150701750250023989493869871467973761006430507405690199988520887...
MATHEMATICA
RealDigits[r/.FindRoot[2^(3/4)*r^6 + 2^(17/8)*E^(5*Pi/24)*r^5 + 2^(5/8)*E^(25*Pi/24)*r - E^(5*Pi/4) == 0, {r, 1}, WorkingPrecision -> 120], 10, 120][[1]]
RealDigits[QPochhammer[-1, E^(-5*Pi)]/2, 10, 120][[1]]
RealDigits[Exp[5*Pi/24]*Sqrt[2 + Sqrt[5] - Sqrt[(15 + 7*Sqrt[5])/2]]/2^(1/8), 10, 120][[1]] (* Vaclav Kotesovec, May 13 2023 *)
PROG
(PARI) polrootsreal(2^(3/4)*'x^6 + 2^(17/8)*exp(5*Pi/24)*'x^5 + 2^(5/8)*exp(25*Pi/24)*'x - exp(5*Pi/4))[2] \\ Charles R Greathouse IV, Mar 04 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Vaclav Kotesovec, Sep 26 2017
STATUS
approved