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

It's valid and reasonable to define \({}^\inftyz\) to be the fixed points of \(y = z^y\). It was just the use of \(\lim\) that I wanted to correct