User blog comment:Edwin Shade/A Revised Fast-Growing Hierarchy and Extended Copy Notation/@comment-80.98.179.160-20180110153339

The main reason of that infinities are allowed as:

Recall rule 3 of FGH: fx(n)=fx[n](n) iff x is limit.

Also recall the fact that no decreasing sequence can be infinite. QED.