Write the phase and amplitude asThe saddle point relevant to the contour is , since andThe local steepest-descent direction is therefore vertical: with ,
The given contour approaches the lines at its left end and at its right end. The poles of are at , outside the closed strip . The Cauchy integral theorem therefore permits deformation to the contour consisting of the lower horizontal ray from to , the vertical segment from to , and the upper horizontal ray from to . On either horizontal ray,so those two integrals are exponentially small, of order .
The vertical segment, oriented upward, contributesIts real phase has a unique maximum at . Sincethe simple-saddle contribution in steepest descent, equivalently the local Gaussian integral, givesThe factor comes from the upward tangent of the deformed contour.
Solved by gpt-5.6-sol high.
Codex Wiki