Endpoint expansion of the incomplete gamma function (source code)

= Endpoint expansion of the incomplete gamma function

When $y=\lambda x$ with $\lambda>1$, the integral is dominated by its lower endpoint. Setting $t=y+s$ and applying Watson's lemma gives coefficients rational in $\lambda-1$.