User blog comment:Alemagno12/Fast-Growing Functions in Lambda Calculus (and their implementation in CoC)/@comment-26454151-20171217192234/@comment-25601061-20171219140242

Can you tell me how you were able to define a function with growth rate ε0? I'm kind of stuck there...