User blog comment:Rgetar/Proof that limit of epsilon numbers is epsilon number/@comment-35470197-20200103082818

It is known that the enumeration of fixed points of Scott continuous functions is again Scott continuous. It means that limits of φ(α,-) numbers are again φ(α,-) numbers.