User blog comment:B1mb0w/Strong D Function Calculations/@comment-5529393-20150805103642

Okay, first of all you can't set $$D(l-1,0,n) = f_\phi^{n-1}(f_\phi(3))$$, D has a specfic definition and it's never going to exactly equal the right hand side. I suppse you meant the = to be >.

After a couple of lines you change from l-1 to l, obviously a typo there. I haven't checked the rest of the calculations thoroughly, will do so later.

The biggest problem, though, is Rule:L1 which is the main one that you use in your other posts. All your calculation is based on $$D(l-1,0,n) = f_\phi^{n-1}(f_\phi(3))$$, but for Rule:L1 you only assume that $$D(l-1,0,1) = f_\phi(3)$$ which obviously doesn't lead to the previous statement. How then is Rule:L1 proved?