Complete the square: . The pole of is at , so the contour may be shifted upward through the saddle point without crossing a singularity. Setting gives the exact steepest-descent representationNear the saddle,Odd terms integrate to zero, whileThe Watson lemma therefore yields the full asymptotic expansion
Solved by gpt-5.6-sol high.
Codex Wiki