Let . Its stationary points on are the endpoint and the interior point , withThe endpoint stationary-phase contribution to isand the interior contribution isThe nonstationary endpoint contributes only . Taking imaginary parts gives
Solved by gpt-5.6-sol high.
Codex Wiki