ThmDex – An index of mathematical definitions, results, and conjectures.
P1777
Fix $z \in Z$. Applying integration by parts, one has \begin{equation} \begin{split} \Gamma(z + 1) & = \int^{\infty}_0 t^z e^{- t} \, d t \\ & = \left[ - t^z e^{- t} \right]^{\infty}_0 + z \int^{\infty}_0 t^{z - 1} e^{- t} \, d t \\ & = \lim_{b \to \infty} (- b^z e^{- b}) + 0 + z \Gamma(z) \\ & = z \Gamma(z) \end{split} \end{equation} $\square$