User blog comment:B1mb0w/Strong D Function/@comment-25337554-20150702100740/@comment-10262436-20150702131537

f_x(y) > D(x,y) > f_{x-1}(y+2) refer to my rule "C1" and proof of this in the Deeply Nested Ackermann blog.

In this blog I show: D(1,0,0) = D(4,4) > f_3(6) > f_omega(3) and: D(1,0,n) > f_{omega}^{n+1}(3)

Also note that: D(1,0,1) = D(D(1,0,0),D(1,0,0)) > f_{f_omega(3)}(f_omega(3))

All the ">" in my results are the opposite of what you have here.