Large-lower-limit expansion of the incomplete gamma function (source code)

= Large-lower-limit expansion of the incomplete gamma function

For fixed $x$ and $y\to\infty$,
$$
\gamma(x,y)\sim y^{x-1}e^{-y}
\sum_{n\geq0}\left(\prod_{j=1}^n(x-j)\right)y^{-n}.
$$