User blog comment:Alemagno12/An extremely fast-growing OCF/@comment-5029411-20170726203426/@comment-30754445-20170727022453

Huh?

The sequence "Ωx for all x" is not bounded at all. We have:

I = ΩI

Just like we have:

The omega fixed point = Ωthe omega fixed point

And speaking of the omega fixed point, how do you notate that ordinal in this notation? It must be less than L(ω)=I, and there doesn't seem to be a place for you to "squeeze" it in.