OFFSET
1,2
FORMULA
Equals 5 - LambertW(32*log(2))/log(2). - Vaclav Kotesovec, Jan 19 2025
EXAMPLE
1.715620733275586169380916428210115405349201542402693776216135036789959346...
MAPLE
evalf[140](solve(2^x+x-5, x)); # Alois P. Heinz, Jan 30 2025
MATHEMATICA
RealDigits[5 - LambertW[32*Log[2]]/Log[2], 10, 110][[1]] (* Vaclav Kotesovec, Jan 19 2025 *)
PROG
(PARI) 5 - lambertw(32*log(2))/log(2) \\ Michel Marcus, Jan 19 2025
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
N. J. A. Sloane, Jan 19 2025
STATUS
approved
