User blog comment:Wythagoras/FGH with transfinite ordinals/@comment-5307762-20141005135839

Things after \(f_\Omega(n)\)  looks amazing.