User blog comment:Vel!/Ordinal Hyper-E 2.0/@comment-1605058-20130409143155

Actually, \(\varepsilon_0 \uparrow \uparrow \omega\) is a limit of \(0,1,\varepsilon_0,\varepsilon_0^{\varepsilon_0},\varepsilon_0^{\varepsilon_0^{\varepsilon_0}},...\) which is \(\varepsilon_1\). Limit of sequence you wrote is \(\varepsilon_\omega\)