User blog comment:Sbiis Saibian/Googology101 - Part II/@comment-10429372-20141024190431/@comment-10429372-20141025063742

It seems that we can compute infinite tretations using this. So \(\lim_{n\mapsto\inf} x\uparrow\uparrow n = -\frac{W(-\ln x)}{\ln x}\), which is defined if \(\ln x > 1\e\) and thus \(x > e^{1\e}\).

I'm pretty sure someone discovered this before, but should we maybe add this to our tetration article?