Put . The hypothesis gives as , so defining makes continuous on and analytic there by the stated assumption. Its zero at has some finite order , and hence
Therefore
has a pole of order : its Laurent series has and for .
Now let be entire and tend to infinity at infinity. The function
tends to infinity as , so the preceding argument says that has a pole at zero. If the Taylor series of is , then
A pole has only finitely many negative powers, so for all sufficiently large . Thus is a polynomial.

Articles by others on the same topic (0)

There are currently no matching articles.