Teorema Bohr–Mollerup
Bukti

Misalkan  \Gamma (x) adalah fungsi dengan sifat asumsi yang ditetapkan di atas:  \Gamma (x+1)=x\Gamma (x) dan  \log(\Gamma (x)) adalah cembung, dan  \Gamma (1)=1. Dari  \Gamma (x+1)=x\Gamma (x), kita bisa membangun:
\Gamma (x+n)=(x+n-1)(x+n-2)(x+n-3)\cdots (x+1)x\Gamma (x)
Tujuan dari ketentuan bahwa  \Gamma (1)=1 memaksa sifat  \Gamma (x+1)=x\Gamma (x) untuk menduplikasi faktorial dari bilangan bulat sehingga kita bisa menyimpulkan sekarang bahwa  \Gamma (n)=(n-1)! jika  n\in \mathbb {N}  dan jika  \Gamma (x) ada sama sekali. Karena hubungan kita untuk  \Gamma (x+n), jika kita bisa mengerti sepenuhnya  \Gamma (x) untuk  0<x\leq 1, maka kita memahami  \Gamma (x) untuk semua nilai  x. Kemiringan dari sebuah garis menghubungkan dua titik  (x_{1},\log(\Gamma (x_{1}))) dan  (x_{2},\log(\Gamma (x_{2}))), sebut saja  S(x_{1},x_{2}), meningkat secara monoton di setiap argumen dengan  x_{1}<x_{2} karena kita memiliki  \log(\Gamma (x)) yang ditetapkan adalah cembung. Dengan demikian, kita tahu bahwaː
S(n-1,n)\leq S(n,n+x)\leq S(n,n+1)\quad {\text{untuk semua }}x\in (0,1].
Setelah menyederhanakan menggunakan berbagai sifat-sifat logaritma, dan kemudian mengeksponesiasikan (yang mempertahankan pertidaksamaan karena fungsi eksponensial meningkat secara monotonik) kita memperoleh:
(n-1)^{x}(n-1)!\leq \Gamma (n+x)\leq n^{x}(n-1)!.
Dari kerja sebelumnya, ini berkembang menjadi:
(n-1)^{x}(n-1)!\leq (x+n-1)(x+n-2)\cdots (x+1)x\Gamma (x)\leq n^{x}(n-1)!,
dan juga:
{\frac {(n-1)^{x}(n-1)!}{(x+n-1)(x+n-2)\cdots (x+1)x}}\leq \Gamma (x)\leq {\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}\left({\frac {n+x}{n}}\right).
Barisan terakhir adalah pernyataan yang kuat. Khususnya, itu benar untuk semua nilai  n. Artinya,  \Gamma (x)  tidak lebih besar daripada sisi kanan untuk setiap pilihan  n dan juga,  \Gamma (x) tidak kurang dari sisi kiri untuk setiap pilihan  n. Setiap pertidaksamaan tunggal berdiri sendiri dan dapat diartikan sebagai pernyataan independen. Karena fakta ini, kita akan bebas untuk memilih nilai-nilai  n yang berbeda untuk sisi kanan dan sisi kiri. Khususnya, jika kita menetapkan  n untuk sisi kanan dan memilih  n+1 untuk sisi kiri, kita mendapatkan:
{\begin{aligned}{\frac {((n+1)-1)^{x}((n+1)-1)!}{(x+(n+1)-1)(x+(n+1)-2)\cdots (x+1)x}}&\leq \Gamma (x)\leq {\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}\left({\frac {n+x}{n}}\right)\\{\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}&\leq \Gamma (x)\leq {\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}\left({\frac {n+x}{n}}\right)\end{aligned}}
Terbukti dari baris terakhir ini bahwa suatu fungsi diapit di antara dua ekspresi,suatu teknik analisis umum untuk membuktikan berbagai hal seperti adanya suatu limit, atau kekonvergenan. Misalkan  n\to \infty :
\lim _{n\to \infty }{\frac {n+x}{n}}=1
jadi sisi kiri dari pertidaksamaan terakhir didorong untuk menyamakan sisi kanan dalam limit dan:
{\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}
diapit di antaranya. Itu hanya bisa berarti bahwa:
\lim _{n\to \infty }{\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}=\Gamma (x).
Dalam konteks pada bukti ini, ini berarti bahwa:
\lim _{n\to \infty }{\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}
memiliki tiga sifat-sifat tertentu milik  \Gamma (x). Juga, buktinay menyediakan sebuah ekspresi yang spesifik untuk  \Gamma (x). Dan bagian penting terakhir dari pembuktiannya adalah mengingat bahwa limit dari sebuah urutan tersebut tunggal. Ini berarti bahwa untuk setiap pilihan  0<x\leq 1 hanya satu kemungkinan bilangan  \Gamma (x) bisa ada. Oleh karena itu, tidak ada fungsi lain dengan semua sifat-sifat yang ditetapkan  \Gamma (x). Ujung longgar yang tersisa adalah pertanyaan untuk membuktikan bahwa  \Gamma (x) masuk akal untuk semua  x dimana:
\lim _{n\to \infty }{\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}
ada.  Masalahnya adalah bahwa pertidaksamaan ganda pertama kita:
S(n-1,n)\leq S(n+x,n)\leq S(n+1,n)
dibangun dengan batas  0<x\leq 1. Jika, katakan,  x>1 maka faktanya bahwa  S meningkat secara monotonik akan membuat  S(n+1,n)<S(n+x,n), bertentangan dengan pertidaksamaan di mana seluruh bukti dibangun. Namun,
{\begin{aligned}\Gamma (x+1)&=\lim _{n\to \infty }x\cdot \left({\frac {n^{x}n!}{(x+n)(x+n-1)\cdots (x+1)x}}\right){\frac {n}{n+x+1}}\\\Gamma (x)&=\left({\frac {1}{x}}\right)\Gamma (x+1)\end{aligned}}
yang mendemonstrasikan bagaimana melakukan bootstrap  \Gamma (x) untuk semua nilai  x dimana limit didefinisikan.