User blog comment:Edwin Shade/Understanding The Infinite/@comment-32213734-20171110225514/@comment-32876686-20171110235159

Thank you for bringing that to my attention, and no, the $$\alpha_{n+1}\neq 0$$ was not necessary, but I felt it would clarify the definition further. As it didn't, I changed it back to the original definition.