Bohr-Mollerup theorem
Let be a function with the following properties:
- 1.
is a convex function (i.e. is logarithmically convex);
- 2.
for all ;
- 3.
Then for all .
That is, the only function satisfying those properties is the gamma function (restricted to the positive reals.)