User blog comment:Nedherman1/The most powerful factorial!/@comment-25601061-20180702150932/@comment-35134374-20180703123336

\(f_{\psi_0(\varepsilon_{\Omega_\omega+1})\}(n)\) is HAN.