User blog comment:B1mb0w/Strong D Function and f epsilon nought (n)/@comment-5529393-20150809072759/@comment-5529393-20150809080117

No, it is not true that $$D(m+1,m,0) > f_{\omega 2 + 1}(m)$$. You say "this uses the sam proofs as before", but what proof gives that? The only applicable theorem that you can use is the one that requires that you prove a lower bound of the form $$D(l-1,m,n) > f_{\phi-1}^{m+n}(f_\phi(m))$$; you can't set $$\phi = \omega 2$$ since you have \phi-1 there, and if you set $$\phi=\omega 2+1$$ that gives you $$D(l-1,m,n) > f_{\omega 2}^{m+n}(f_{\omega 2 + 1}(m))$$ and you haven't proven that. All you've proven is that $$D(m,m,0) > f_{\omega 2}(m)$$, which is not even close to the assumption for your theorem.