User blog comment:MilkyWay90/Yet another attempt at making a fast-growing function/@comment-35434595-20180709002245

There is no largest number definable in Peano arithmetic, since you could always do 1+1+1+1..., so your function is not well defined