OFFSET
0,1
COMMENTS
LINKS
FORMULA
Equals sqrt(2 - 2*sqrt((2*sqrt(5) + 5)/15)).
Minimal polynomial: 45*x^8 - 360*x^6 + 960*x^4 - 960*x^2 + 256. - Stefano Spezia, Apr 21 2026
EXAMPLE
0.6408518201709875412850519828984...
MATHEMATICA
First[RealDigits[Sqrt[2 - 2*Sqrt[(2*Sqrt[5] + 5)/15]], 10, 100]] (* Paolo Xausa, Apr 21 2026 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Hugo Pfoertner, Apr 21 2026
STATUS
approved
