Equivalence of Definitions of Gamma Function

Weierstrass Form equivalent to Euler Form
First it is shown that the Weierstrass form is equivalent to the Euler form.

Combining the limits:

But:
 * $(1): \quad m = \dfrac {m!} {\paren {m - 1}!} = \dfrac 2 1 \cdot \dfrac 3 2 \cdots \dfrac {x + 1} x \cdots \dfrac m {m - 1}$

Each term in $(1)$ is just $\dfrac {x + 1} x = 1 + \dfrac 1 x$, so:
 * $\displaystyle m = \prod_{n \mathop = 1}^{m - 1} \paren {1 + \frac 1 n}$

Thus the expression for $\dfrac 1 {\map \Gamma z}$ becomes:

Hence:
 * $\displaystyle \map \Gamma z = \frac 1 z \prod_{n \mathop = 1}^\infty \paren {1 + \frac 1 n}^z \paren {1 + \frac z n}^{-1}$

which is the Euler form of the Gamma function.

Integral Form equivalent to Euler Form
This is proved in the page:
 * Integral Form of Gamma Function equivalent to Euler Form