Description: Lemma for pnt . Establish smallness of R on an interval. Lemma 10.6.2 in Shapiro, p. 436. (Contributed by Mario Carneiro, 10-Apr-2016)