OFFSET
1,2
COMMENTS
Also decimal expansion of the other solution to log(x)/x = log(5)/5.
Also the limit of infinite tetration a^a^...^a, where a = 5^(1/5).
Let b be a rational number > e, then: if b is not of the form b = (1 + 1/s)^(s+1) for some positive integer s, then the other solution to b^x = x^b (or equivalently, log(x)/x = log(b)/b) is transcendental. In particular, if b is a positive integer other than 1, 2 and 4, then the other solution to b^x = x^b is transcendental (Vassilev-Missana, p. 23).
LINKS
M. Vassilev-Missana, Some results on infinite power towers, Notes on Number Theory and Discrete Mathematics, Vol. 16 (2010) No. 3, 18-24.
FORMULA
Equals -(5/log(5))*W(-log(5)/5), where W is the principal branch of the Lambert W function.
EXAMPLE
If x = 1.7649219145257758827587235909114591014..., then log(x)/x = log(5)/5.
MATHEMATICA
RealDigits[-5*ProductLog[-Log[5]/5]/Log[5], 10, 105]
RealDigits[x/.FindRoot[5^x==x^5, {x, 1.7}, WorkingPrecision->120], 10, 120][[1]] (* Harvey P. Dale, Jan 22 2023 *)
PROG
(PARI) default(realprecision, 92); solve(x=1, 2, 5^x-x^5)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Jianing Song, Feb 09 2021
STATUS
approved