Large-lower-limit expansion of the incomplete gamma function

For fixed $x$ and $y\to \infty$,