OFFSET
1,2
FORMULA
Equals (1 + sqrt(13) + sqrt(2*sqrt(13) - 2))/4. - Vaclav Kotesovec, Aug 27 2021
Largest real root of x^4 - x^3 - x^2 - x + 1. - Linas Vepstas, Feb 06 2024
EXAMPLE
1.722083805739042245027069212153831462070116555...
MATHEMATICA
CROSSREFS
KEYWORD
AUTHOR
Clark Kimberling, Jul 18 2017
STATUS
approved