OFFSET
1,2
FORMULA
Equals log(2)/(2*LambertW(log(2)/2)). - Alois P. Heinz, Jun 02 2021
EXAMPLE
1.304351178901036533647201231486234...
MATHEMATICA
RealDigits[Log[Sqrt[2]]/ProductLog[Log[Sqrt[2]]], 10, 100][[1]] (* Amiram Eldar, Jun 02 2021 *)
RealDigits[x/.FindRoot[x^x==Sqrt[2], {x, 1}, WorkingPrecision-> 120], 10, 120][[1]] (* Harvey P. Dale, Jun 18 2021 *)
PROG
(PARI) solve(x=1, 2, x^x-sqrt(2)) \\ Hugo Pfoertner, Jun 02 2021
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Christoph B. Kassir, Jun 01 2021
STATUS
approved