Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
How to show that rational functions are expanding on average?
Let $\phi:\mathbb{P}^1\to\mathbb{P}^1$ be a rational function of degree $d\geq2$. How can one prove, using the normalized spherical measure, that
$$\int_{\mathbb{P}^1(\mathbb{C})}|(\phi^n)'(z)|\ d\mu (z) \sim d^n$$ as $n\to\infty$?