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

Is catching function's strength reaching Mahlo cardinal? Or is it exhausted much quicker?