Bohr-Mollerup Theorem

If a function satisfies

1. is convex,

2. for all , and

3. ,

then is the gamma function . Therefore, by analytic continuation, is the only meromorphic function on satisfying the functional equation

with and which is logarithmically convex on the positive real axis.