User blog comment:Wythagoras/Catching function in normal ordinals/@comment-1605058-20131112215326/@comment-10429372-20131113161010

I don't know yet, I think that it is beyond the Mahlo cardinal, but I might be wrong because I'm not even sure C(Ω2) = ψ(ψI 2 (0))