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

Wow. This actually works!

Oh, and, there's a small error at $$f_3(\omega2)$$

It must be:

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