User blog comment:Edwin Shade/How High Can You Go ?/@comment-80.98.179.160-20180120195333

I don't know a general Bigeddon function growth rate, but if it's <$$\psi^\text{CK}(\varepsilon_{\omega_\omega+1})$$, here it's: $$f_{\psi^\text{CK}(\varepsilon_{\omega_\omega+1})^{9999}(^{10000}10000)$$.