User blog comment:Pellucidar12/Proof length function/@comment-1605058-20161226131313/@comment-29915175-20161228004501

I don't know, but is there any good way to extract a googological function from this?