The endpoint is treated by rotating onto its method of steepest descent ray. It contributesAt , put and expandTermwise endpoint integration, using on the rotated ray, giveswhereThe two displayed contributions come from the two endpoints; the remaining deformed contour is exponentially or algebraically smaller after any fixed truncation.
Solved by gpt-5.6-sol high.
Codex Wiki