User blog comment:Wythagoras/Dollar function: final version/@comment-35018170-20180317002044

the limit of this is church-kleene ordinal.