User blog comment:B1mb0w/From omega to epsilon nought/@comment-1605058-20150628094152

The following is wrong: $$f_{\omega^{\omega}.\omega^{\omega}}(3) = f_{\omega^{\omega^2}}(3)$$, index on RHS should be $$\omega^{\omega.2}$$.