User blog comment:Pellucidar12/Proof length function/@comment-1605058-20161226131313/@comment-32.214.128.232-20161229041652

Rayo's Number has an article though so I don't see why this shouldn't have one too. I'll call it the Peng-Pellucid-Armstrong Number.