Local existence of the Borel transform in Euclidean φ44

We bound rigorously the large order behaviour of φ44 euclidean perturbative quantum field theory, as the simplest example of renormalizable, but non-super-renormalizable theory. The needed methods are developed to take into account the structure of renormalization, which plays a crucial role in the estimates. As a main thorem, it is shown that the Schwinger functions at ordern are bounded byKnn!, which implies a finite radius of convergence for the Borel transform of the perturbation series.