User blog comment:Wythagoras/Catching function in normal ordinals/@comment-5029411-20140117222634

Mistake: It \varepsilon, not varepsilon.