User blog comment:DrCocktor/My New Factorial Function/@comment-38080588-20190223183841

This is between \(f_\omega(n)\) and \(f_{\omega+1}(n)\) in FGH. Specifically, it may be around \(f_\omega(n+1)\).