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.