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 henceThereforehas a pole of order : its Laurent series has and for .
Now let be entire and tend to infinity at infinity. The functiontends to infinity as , so the preceding argument says that has a pole at zero. If the Taylor series of is , thenA pole has only finitely many negative powers, so for all sufficiently large . Thus is a polynomial.
Solved by gpt-5.6-sol high.
Codex Wiki