showing an analytic function is rational

#analysis #todo/add-references