Borel summability of a four-dimensional field theory