Quantitative approximations of the Lyapunov exponent of a rational function over valued fields - Yûsuke Okuyama (2013)