For any with , defineThe definitions agree on overlaps by the recurrence, giving a meromorphic continuation to . Its only singularities are simple poles at . Since , repeated use of the recurrence givesThese residues are nonzero, so all the listed singularities really are simple poles.
Solved by gpt-5.6-sol high.
Codex Wiki