Normal Families and Picard's Great Theorem
We establish the theory of normal families of meromorphic functions taking values in the extended complex plane, which can be regarded as a metric space equipped with the spherical metric. Using the notion of spherical derivatives, we state and prove Marty's theorem on normal families of meromorphic functions. As a result, we deduce the classical Montel's theorem on relatively compact fami