User blog comment:Nedherman1/The most powerful factorial!/@comment-25601061-20180702150932/@comment-29065906-20180702184327

The limit is around f_{\psi_0(\varepsilon_{\Omega_\omega+1})}(n)\