User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-11227630-20190725052952

Does this OCF work to generate large (finite) numbers? No FGH or FS is used, but there is a function f instead.