User blog comment:Emlightened/A Largest Number/@comment-31580368-20180903033927/@comment-1605058-20180903135750

I have never seen anyone compare FOA(n) to \(f_{\omega_1^{CK}}\). Do you have any reference for that?