I know that an analytic function on with a nonessential singularity at is necessarily a polynomial.
Now consider a meromorphic function on the extended complex plane . I know that has only finitely many poles, say in . Suppose also that has a nonessential singularity at .
Then if have orders , it follows that is analytic on , and has a nonessential singularity at , and is thus a polynomial, so is a rational function.
But I'm curious, what if f doesn't have a singularity at , or in fact has an essential singularity at instead? Is still a rational function?