Solution (source code)

= Solution

An \b[<essential singularity>] is an <isolated singularity> that is neither a <removable singularity> nor a <pole>. In its <Laurent series>, infinitely many <coefficients> of negative powers are nonzero. The alternatives follow because no negative terms give a removable singularity, while finitely many with a lowest nonzero power give a pole.