Sequences and Series/Series and integration

Theorem (Abelian partial summation):

Let be a sequence of complex numbers, and let be differentiable on . Finally define

.

Then for we have

.

Proof: If , we have

But

so that

.