User blog comment:Pellucidar12/Proof length function/@comment-24920136-20161228041401

The problem is the n steps. You need a large enough n for the magic to happen. So you push the googology forward by 1 problem, because you have to create a way to make a large n to plug into the "n steps" part.