 Nevanlinna proximity function

Here ${\log }^{+}x=\max (0,\log x)$. The function $m(r,f)$ measures logarithmic proximity of $f$ to infinity. For a finite target $a$, proximity is $m(r,1/(f-a))$. Logarithmic singularities on a circle are integrable.