Let be a sequence of holomorphic functions on and suppose that
for all , where denotes integration with respect to Lebesgue measure on . Show that then there exists a subsequence that converges uniformly on all compact subsets of .
Suppose . Then by the mean value property
Thus, if for , then let so that for any . Hence,
so form a normal family. Thus, there exists a subsequence which converges locally uniformly on , which completes the proof.