User blog comment:Wythagoras/All my stuff/@comment-5029411-20130728154339

So here is rule 7 of 7 Rule FGH to reach theta(epsilon_{Omega+1}).

f@theta(@ Omega^Omega @)(a) = f@theta(@ Omega^theta(@ Omega^...theta(@ Omega^theta(@ Omega^omega @) @)... @) @)(a)

Y(7) = ftheta(epsilon_{Omega+1})(7)

We have Y(9) > ftheta(Omega_Omega)(9) and

Y(10) > ftheta(psi_I(0))(10)