What is the area under the curve where the infinite power tower converges?

$$\lim_{y \to \infty} = {}^y x.$$

The formula for this curve is given by various sources as:

$$\frac{\mathrm{W}(-\ln x)}{-\ln x}.$$

And the limits are from $\mathrm{e}^{-\mathrm{e}}$ to $\mathrm{e}^{\frac1{\mathrm{e}}}$. So we have:

$$\int_{\mathrm{e}^{-\mathrm{e}}}^{\mathrm{e}^{\frac1{\mathrm{e}}}} \frac{\mathrm{W}(-\ln x)}{-\ln x} \,\mathrm{d}x.$$

Numerically this value is approximately $1.244131300633398$.

Is there an exact value for this integral known?

enter image description here

Tetration wikipedia page

Lambert's W Function wikipedia page

  • My motivation is simply idle curiosity. – OmnipotentEntity Mar 10 at 19:05
  • Can you add a few links: one for Lambert W and one for ${}^yx$? Would be nice of you :) – mike239x Mar 10 at 19:09
  • 1
    As requested, I have added a link to the Wikipedia pages for these functions to the bottom of the question. – OmnipotentEntity Mar 10 at 19:12
  • 2
    By the inverse integral theorem this is equivalent to computing $\int_{1/e}^e t^{1/t} \, dt$. Which smells non elementary to me (e.g., it's reminiscent of the sophomore's dream integral). – Micah Mar 10 at 19:27
  • 1
    Right, and $2.65+1.24\approx e \cdot e^{1/e} - \frac{1}{e} \cdot e^{-e}$. (If the initial integral computes the area below the curve, its inverse integral computes the area to the left of the curve...) – Micah Mar 10 at 19:34
up vote 2 down vote accepted

From Micah:

Since we know that

$$y=x^y\implies x=y^{1/y}$$

the inverse of the function is given by $x^{1/x}$, hence we have


Note that there is no known closed form for the integral on the right, even though it is in a much more manageable form. Numerically, the integral is given by WolframAlpha as $\approx2.658607452339$, so


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.