User blog comment:Vel!/BB(n) in FOST/@comment-30846880-20171224094012/@comment-1605058-20171224094922

All of those are definable in FOST. Rayo's function is far faster growing than all of those.