Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ib/paper-1/12g/b/solution

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.

New to topics? Read the docs here!