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

@Chronolegends Since when is a slow start of a function a problem? Rayo's function and its relatives and xi function have slow start yet I haven't heard anyone complain about the fact we need to plug in a large number for them to create a large number. Strength of a function is not about it's values at 1, 2 and 3, but rather about its growth for large values.

@PsiCubed2 Is this trick really "standard"? I have only ever seen it used once by Yudkowsky.