Integral Form of Gamma Function equivalent to Euler Form/Proof 2

Proof
First we present a lemma:

Recall the definition of the partial Gamma function:
 * $\displaystyle \Gamma_m \left({x}\right) := \frac {m^x m!} {x \left({x + 1}\right) \left({x + 2}\right) \cdots \left({x + m}\right)}$

We have that:

We have that for large $t$:
 * $t^{x - 1} < t^{t / 2}$

and so as $m \to \infty$:
 * $\displaystyle \int_m^\infty e^{-t} t^{x - 1} \rd t \to 0$

Then:

Now we have that as $m \to \infty$:
 * $\displaystyle \frac 1 m \int_0^\infty t^{x + 1} e^{-t} \rd t \to 0$

so:
 * $\displaystyle \int_0^\infty e^{-t} t^{x - 1} \rd t - \Gamma_m \left({x}\right) = 0$

leading to:
 * $\displaystyle \int_0^\infty e^{-t} t^{x - 1} \rd t = \lim_{m \mathop \to \infty} \dfrac {m^x m!} {x \left({x + 1}\right) \left({x + 2}\right) \cdots \left({x + m}\right)}$

as was to be demonstrated.