Then, is differentiable by theorem 27.1.7, and
The power series is absolutely convergent (by ratio test) for It is divergent for and convergent for . Thus is defined. Since the serie
is convergent for and divergent for , we have .