“…In Section 2, we introduce the main tools that we use to prove our results. In Section 3, we use a method introduced in [9], relying on the polynomial ABC theorem (proved first by Stothers [32], and then independently by Mason [19,20] and Silverman [29], see also [30]), to give a lower bound for D(f n ), n 1. In particular, we prove that if {f n } is of infinite length, for almost all integers n 1 we have…”