User blog comment:Alemagno12/FGH - HH Catching Points/@comment-1605058-20150717213843/@comment-1605058-20150718143339

This, as I've said, is not correct expression, because it suggests that the stack of \(\omega\)'s has the top, and if it has, then it's still smaller than \(\varepsilon_{\alpha+1}\).