|
|
A073226
|
|
Decimal expansion of e^e.
|
|
43
|
|
|
1, 5, 1, 5, 4, 2, 6, 2, 2, 4, 1, 4, 7, 9, 2, 6, 4, 1, 8, 9, 7, 6, 0, 4, 3, 0, 2, 7, 2, 6, 2, 9, 9, 1, 1, 9, 0, 5, 5, 2, 8, 5, 4, 8, 5, 3, 6, 8, 5, 6, 1, 3, 9, 7, 6, 9, 1, 4, 0, 7, 4, 6, 4, 0, 5, 9, 1, 4, 8, 3, 0, 9, 7, 3, 7, 3, 0, 9, 3, 4, 4, 3, 2, 6, 0, 8, 4, 5, 6, 9, 6, 8, 3, 5, 7, 8, 7, 3, 4, 6, 0, 5, 1, 1, 5
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
2,2
|
|
COMMENTS
|
Given z > 0, there exist positive real numbers x < y, with x^y = y^x = z, if and only if z > e^e. In that case, 1 < x < e < y and (x, y) = ((1 + 1/t)^t, (1 + 1/t)^(t+1)) for some t > 0. (For example, t = 1 gives 2^4 = 4^2 = 16 > e^e.) Proofs of these classical results and applications of them are in Marques and Sondow (2010).
e^e = lim_{n->infinity} ((n+1)/n)^((n+1)^(n+1)/n^n), n > 0 an integer; cf. [Vernescu] wherein it is also stated that the assertions of the previous comment above were proved by Alexandru Lupas in 2006. - L. Edson Jeffery, Sep 18 2012
A weak form of Schanuel's Conjecture implies that e^e is transcendental--see Marques and Sondow (2012).
|
|
LINKS
|
|
|
FORMULA
|
|
|
EXAMPLE
|
15.15426224147926418976043027262991190552854853685613976914...
|
|
MATHEMATICA
|
RealDigits[ E^E, 10, 110] [[1]]
|
|
PROG
|
(PARI) exp(exp(1))
(PARI) { default(realprecision, 20080); x=exp(1)^exp(1)/10; for (n=2, 20000, d=floor(x); x=(x-d)*10; write("b073226.txt", n, " ", d)); } \\ Harry J. Smith, Apr 30 2009
|
|
CROSSREFS
|
Cf. A073233 (Pi^Pi), A049006 (i^i), A001113 (e), A073227 (e^e^e), A004002 (Benford numbers), A056072 (floor(e^e^...^e), n e's), A072364 ((1/e)^(1/e)), A030178 (limit of (1/e)^(1/e)^...^(1/e)), A073229 (e^(1/e)), A073230 ((1/e)^e).
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|