User blog:Wythagoras/Catching function in normal ordinals