For the theorem on existence and uniqueness of solutions of differential equations, see Picard's existence theorem. In complex analysis, Picard's great theorem and Picard's little theorem are related theorems about the range of an analytic function. They are named after Émile Picard. == The theorems == Little Picard Theorem: If a function f : C → C is entire and non-constant, then the set of values that f(z) assumes is either the whole complex plane or the plane minus a single point. Sketch of Proof: Picard's original proof was based on properties of the modular lambda function, usually denoted...