Watson lemma

Watson lemma obtains an endpoint Laplace-integral asymptotic expansion by integrating the local power expansion of its amplitude term by term.