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

Well, I computed $$f_3(\omega2)$$ using what I mentioned above and I got $$\varepsilon_1$$