User blog comment:Vel!/Ordinal BEAF/@comment-5529393-20130315210050

A nitpick:  summing over all ordinals doesn't really make sense, especially summing from large to small. What you could do is to define some set Q(alpha) consisting of all gamma such that E_gamma(alpha) is greater than zero, then do your sum over Q(alpha). Just to make it more rigorous.