User blog comment:Wythagoras/FGH with transfinite ordinals/@comment-24509095-20140309141155/@comment-10429372-20140309143846

$$f_2^\omega(\omega2) = \varepsilon_0 = f_3(\omega)$$