User blog comment:Wythagoras/FGH with transfinite ordinals/@comment-24509095-20140310142212/@comment-10429372-20140310155429

lim{φ(ω,φ(1,0,0)),φ(ω,φ(ω,φ(1,0,0))), ....} = φ(1,0,1)