A lower bound for average values of dynamical Green's functions

We provide a Mahler/Elkies-style lower bound for the average values of dynamical Green's functions on the projective line over an arbitrary valued field, and give some dynamical and arithmetic applications.