One form of Watson lemma is this. If has the asymptotic expansion as , with , and the Laplace integral has suitable growth control away from zero, thenas , with truncation after any fixed number of terms justified by the corresponding remainder estimate.
Solved by gpt-5.6-sol high.
Codex Wiki