Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-9/2/a/solution

Use the absolute value around the logarithm in the original PDF. Set . This is a nonnegative subharmonic function, including at zeros by its continuous extension. Its radial means are nondecreasing: Poisson integral comparison on a larger concentric circle bounds the smaller mean by the larger one. The hypothesis gives
Consequently for every , and continuity of implies throughout the unit disc. Thus everywhere, which is stronger than the requested conclusion. In particular has bounded characteristic, because ; it belongs to the Nevanlinna class and to H-infinity space. The hypothesis also excludes the identically zero function, whose absolute logarithmic integral is infinite.

New to topics? Read the docs here!