On range sets of bounded analytic functions (Q1102403)

A theorem of Frostman asserts that if f is an inner function in the unit disc U and \(\xi\) is a singular point of f, then f assumes every value of U infinitely often in each neighbourhood of \(\xi\) with the possible exception of a set of logarithmic capacity zero. The author gives a nice generalization to a local version at a regular boundary point of a general domain. [Reviewer's remarks. In the proof, it is erroneously claimed that a certain function \(G_ f\) is super-harmonic. However, this is not serious as the proof can be appropriately modified and, in fact, becomes valid on Riemann surfaces.]