OFFSET
1,2
COMMENTS
LINKS
FORMULA
Equals 25/2 - 5*sqrt(5).
Minimal polynomial: 4*x^2 - 100*x + 125. - Amiram Eldar, Mar 26 2026
EXAMPLE
1.31966011250105151795413165634361882279690820194237...
MATHEMATICA
RealDigits[(25-10*Sqrt[5])/2, 10, 120][[1]] (* Amiram Eldar, Mar 26 2026 *)
PROG
(PARI) (25-10*sqrt(5))/2 \\ Charles R Greathouse IV, May 18 2026
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Joost Gielen, Sep 28 2013
STATUS
approved
