Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-3/21h/c/solution

For each , define
Every is an entire function, hence continuous, so is closed. The hypothesis says
The complex plane is a complete metric space. The Baire category theorem therefore implies that some has nonempty interior. Thus vanishes on an open set, and the identity theorem gives
on all of . If , then ; otherwise the power series of has no term of degree or higher. Hence is a polynomial of degree at most . This is the pointwise vanishing derivative criterion for a polynomial.

New to topics? Read the docs here!