# Are these the Big and Little Picard Theorems?

These seem to be the Big and Little Picard Theorems or at least related to them.

(Exer 9.3) Prove $f$ has an essential singularity at $z_0 \implies \frac 1 f$ has an essential singularity at $z_0$.

(Exer 9.4) Prove that any complex number is arbitrarily close to the image of a nonconstant entire function $f$. Hint: if $f$ is not a polynomial, use Casorati-Weierstrass Theorem (Thm 9.7) on $f(\frac 1 z)$.

Question 1. What exactly are the connections between Exer 9.3 and 9.4 and Big and Little Picard Theorems?

• In the textbook, 'Picard's Theorem' is only briefly mentioned on p.131. It seems Exer 9.4 is for Little Picard while Exer 9.3 is for Big Picard.

Question 2. Is the following right?

By the contrapositive of Exer 9.4, if $f$ is bounded and entire, then $f$ is either not entire or not nonconstant and thus constant. Thus, Exer 9.4, Little Picard or both is indeed a strengthening of Liouville's Theorem (Thm 5.13).

## This question has an open bounty worth +50 reputation from BCLC ending in 7 days.

This question has not received enough attention.

• These statements are often used in comple analysis textbooks to provide the readers with an intuition of Picard theorems. They are significantly weaker than the theorems, but with the same spirit. – Cave Johnson 11 hours ago
• @CaveJohnson thanks! Is 9.3 for big and 9.4 for little? – BCLC 11 hours ago