login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 56th year, we are closing in on 350,000 sequences, and we’ve crossed 9,700 citations (which often say “discovered thanks to the OEIS”).

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A141606 Decimal expansion of (W(e-1)/(e-1))^(1/(1-e)), where W(z) denotes the Lambert W function and e = 2.718281828... 4
1, 5, 7, 8, 4, 4, 6, 9, 1, 4, 1, 9, 1, 2, 7, 6, 1, 8, 6, 9, 1, 1, 4, 7, 1, 4, 5, 7, 2, 5, 0, 5, 8, 8, 7, 1, 8, 6, 2, 5, 0, 8, 5, 8, 8, 1, 7, 2, 6, 9, 7, 2, 6, 3, 7, 0, 9, 1, 7, 8, 2, 9, 6, 2, 5, 7, 9, 8, 3, 1, 3, 1, 3, 0, 2, 9, 8, 6, 4, 6, 0, 1, 8, 7, 1, 0, 0, 5, 1, 8, 5, 6, 3, 8, 8, 6, 3, 7, 3, 7, 1, 0, 5, 5, 5 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

Solution for x in x^(x^(e-1)) = e.

(W((y-1)log(z))/((y-1)log(z)))^(1/(1-y)) = e^(W((y-1)log(z))/(y-1)) so that (W(e-1)/(e-1))^(1/(1-e)) = e^(W(e-1)/(e-1)). - Ross La Haye, Aug 27 2008

Consider the expression x^x^x^x... where x appears y times. For, say, y = 4 this type of expression is conventionally evaluated as if bracketed x^(x^(x^x)) and is referred to as a "power tower". However, we can also bracket x^x^x^x from the bottom up, e.g., (x^x)^x)^x = x^(x^3). In general, this bracketing will simplify x^x^x^x... to x^(x^(y-1)) when x appears y times in the expression. Solving the equation x^(x^(y-1)) = z for x gives x = (W((y-1)log(z))/((y-1)log(z)))^(1/(1-y)). And setting y = z = e gives the result indicated by this sequence. Special thanks are due to Mike Wentz for introducing me to the "bottom up" bracketing of x^x^x^x... and the motivation for its investigation.

LINKS

G. C. Greubel, Table of n, a(n) for n = 1..10000

Eric Weisstein, Lambert W-Function

Eric Weisstein, Power Tower

EXAMPLE

1.57844691419127618691147145725058871862508588172697263709178296257...

MATHEMATICA

RealDigits[(ProductLog[E-1]/(E-1))^(1/(1-E)), 10, 111][[1]]

PROG

(PARI) (lambertw(exp(1)-1)/(exp(1)-1))^(1/(1-exp(1))) \\ G. C. Greubel, Mar 02 2018

CROSSREFS

Cf. A001113.

Cf. A143913, A143914, A143915. - Ross La Haye, Sep 05 2008

Sequence in context: A155855 A070366 A339986 * A197491 A338595 A254274

Adjacent sequences:  A141603 A141604 A141605 * A141607 A141608 A141609

KEYWORD

cons,nonn

AUTHOR

Ross La Haye, Aug 21 2008, Aug 26 2008

EXTENSIONS

More terms from Robert G. Wilson v, Aug 25 2008

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 8 23:37 EST 2021. Contains 349596 sequences. (Running on oeis4.)