OFFSET
0,1
FORMULA
Equals (sqrt(10*(5 + sqrt(5))) + (5 + 2*sqrt(5))*arccosh(sqrt(5) - 1))/20.
Equals (5+2*sqrt(5))*(tan(Pi/5)*sec(Pi/5) + arcsinh(tan(Pi/5)))/20.
Equals (sqrt(5)*phi^3/20)*(2*tan(Pi/5)/phi + log(2/phi + tan(Pi/5))), where phi is the golden ratio (A001622).
EXAMPLE
0.744666853936194163107459534588181561974365758435389...
MATHEMATICA
RealDigits[(Sqrt[10*(5 + Sqrt[5])] + (5 + 2*Sqrt[5])*ArcCosh[Sqrt[5] - 1])/20, 10, 120][[1]]
PROG
(PARI) (sqrt(10*(5 + sqrt(5))) + (5 + 2*sqrt(5))*acosh(sqrt(5) - 1))/20
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, May 08 2026
STATUS
approved
