User blog comment:Emlightened/Intro/@comment-1605058-20160109180510/@comment-27513631-20160109201735

I mean that there exists a function \(G\), such that \(G(n)>TREE(n)\), where \(G\) is defined using only primitive recursive functions and the function \(F\), and \(F\) is defined using only primitive recursive functions and itself.