User blog comment:B1mb0w/General Proof of Strong D Function Growth Rate/@comment-5529393-20150809072224

Good, the results here are all reasonable. Note that the theorems you have here can only prove lower bounds of the form $$f_\phi^{m+n}(f_{\phi+1}(m))$$ with $$\phi = \omega + a$$ for some value of $$a$$, since you only prove the base cases $$\phi = \omega$$ and $$\phi = \omega+1$$, and your inductive theorems assume a statement for $$\phi$$ and prove it for $$\phi+1$$. There's no way to get $$\phi = \omega 2 $$ or higher, and your other pages which make claims for higher values of $$\phi$$ are unsupported.