OFFSET
1,1
COMMENTS
Equivalently, the largest real solution to log(x) = x/3.
FORMULA
Equals -3*LambertW(-1, -1/3).
EXAMPLE
4.5364036549735274216902190342161161138109511554...
MATHEMATICA
RealDigits[-3*ProductLog[-1, -1/3], 10, 100][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Stefano Spezia, Aug 16 2025
STATUS
approved
