OFFSET
1,2
COMMENTS
This constant is case m=2 in a family of real roots of x^^(m+1) - x^^m = 1, where ^^ is tetration. These roots have lim_{m->inf} x(m) = e^(1/e) (see A073229).
EXAMPLE
1.67129219798893255...
MATHEMATICA
RealDigits[x /. FindRoot[x^(x^x) == x^x + 1, {x, 2}, WorkingPrecision -> 100]][[1]] (* Amiram Eldar, Aug 13 2022 *)
PROG
(PARI) solve(x=1, 2, x^x^x - x^x - 1) \\ Michel Marcus, Aug 13 2022
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Marco Ripà, Aug 12 2022
STATUS
approved