User blog comment:Wythagoras/Catching function in normal ordinals/@comment-5029411-20131117192646

The answer is psi(psi_I(z(I+1))).