User blog comment:Kyodaisuu/English description of Fish numbers/@comment-10429372-20131102144937/@comment-5150073-20131102161248

I can guess that F4(n) is comparable to $$f_{\omega_{\omega^{\omega+1}*63}^\text{CK}}(n)$$.