Title: The asymptotic expansion of a function defined by a definite integral or contour integral