Asymptotic nature of perturbation theory in the many-Fermion problem

It is shown, using Watson's lemma, that, given a suitable definition of normal systems, the loop expansion and hence the perturbation series in many-fermion series are asymptotic and Borel summable.