I am just a bit curious about the Weierstrass Factorization theorem on the Gamma function.
The Weierstrass Factorization theorem says this:
Let $f(z)$ be an entire function. Suppose that $f$ vanishes to order $m, m \geq 0$. Let ${a_n}$ be the other zeros of $f$, listed with multiplicities. Then there is an entire function, $g(z)$ such that $$f(z) = z^m e^{g(z)} \prod_{n = 1}^{\infty} E_{n-1}\left(\frac{z}{a_n}\right).$$
From the reciprocal Gamma function, by the Weierstrass factorization theorem, they came up with this:
$$ \frac{1}{\Gamma(z)} = ze^{\gamma*z}\prod_{n=1}^{\infty}\left(1 + \frac{z}{n}\right)e^{-z/n}. $$
Now how did they compute the Weierstrass Elementary Factors? I know the definition of the factors. I have looked this function and it says it has simple zeros at $0$ and at all negative integers. I am just confused how they computed the elementary factors on this function. Thanks for all the help!
The convexity of $\log(\Gamma(x))$ says that for $x\in[0,1]$, $$ \Gamma(n)\,(n-1+x)^x\le\Gamma(n+x)\le\Gamma(n)\,n^x $$ and the inequalities are reversed for $x\not\in[0,1]$. Note that this is exact for $x\in\{0,1\}$. In any case, $$ \begin{align} 1 &=\lim_{n\to\infty}\frac{(n-1)!\,n^x}{\Gamma(n+x)}\\[6pt] &=\lim_{n\to\infty}\frac{(n-1)!\,n^x}{\Gamma(x)\prod\limits_{k=0}^{n-1}(k+x)} \end{align} $$ Therefore, since $\sum\limits_{k=1}^{n-1}\frac1k\sim\gamma+\log(n)$, we get $n^x=e^{x\log(n)}\sim e^{-\gamma x}\prod\limits_{k=1}^{n-1}e^{x/k}$ $$ \begin{align} \Gamma(x) &=\lim_{n\to\infty}\frac{(n-1)!\,n^x}{\prod\limits_{k=0}^{n-1}(k+x)}\\ &=\lim_{n\to\infty}\frac{n^x}x\prod_{k=1}^{n-1}\frac{k}{k+x}\\[6pt] &=\lim_{n\to\infty}\frac{e^{-\gamma x}}x\prod_{k=1}^{n-1}\frac{e^{x/k}}{1+x/k}\\[6pt] &=\frac{e^{-\gamma x}}x\prod_{k=1}^\infty\frac{e^{x/k}}{1+x/k} \end{align} $$