PutOn , its global maximum is the endpoint , whereand the amplitude has value . The endpoint form of Laplace's method therefore givesIndeed, with , Taylor expansion gives and ; the scale contributing to the integral is . Outside any fixed neighbourhood of , is bounded above by , so that part is exponentially smaller. This also controls the integrable logarithmic singularity at zero.
Solved by gpt-5.6-sol high.
Codex Wiki