User blog comment:P進大好きbot/Kyodaisuutan System/@comment-24923514-20181003190853

Looks a little complicated for something only capable of f_omega(n) growth rates. Nevertheless, I'd be interested in knowing how this function was derived, if you'd like to share.