Endpoint expansion of the incomplete gamma function
= 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$.