User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-35392788-20191029194318/@comment-32697988-20191029213748

And does \(f_{\text{PTO}(T)}\) outgrow every function provably terminating in T?