Let phi(z) be a polynomial of degree at least 2 with coefficients in a number field K. Iterating phi gives rise to a dynamical system and a corresponding canonical height function h(phi), as defined by Call and Silverman. We prove a simple product formula
