User blog comment:Nayuta Ito/The attempt to make my own ordinals collapse function/@comment-70.10.112.172-20170424132751

The way it is written, \(\rho(\varepsilon_0+1)\) is larger than you think.