Length-area exhaustion of the complex plane
ID: length-area-exhaustion-of-the-complex-plane
For a nonconstant meromorphic function on the plane, let be its normalized pulled-back spherical area on , and the spherical length of its boundary image counted with multiplicity. The Cauchy-Schwarz inequality gives . If stayed above a positive constant for all large , integration of would make negative. Thus there are arbitrarily large radii with arbitrarily small, even when the total area is finite.
New to topics? Read the docs here!