Gamma Function is Unique Extension of Factorial

Theorem
Let $f: \R_{>0} \to \R$ be a real function which is positive and continuous.

Let $\ln \mathop \circ f$ be convex on $\R_{>0}$.

Let $f$ satisfy the conditions:
 * $f \left({x + 1}\right) = \begin{cases}

1 & : x = 0 \\ x f \left({x}\right) & : x > 0 \end{cases}$

Then:
 * $\forall x \in \R_{>0}: f \left({x}\right) = \Gamma \left({x}\right)$

where $\Gamma \left({x}\right)$ is the Gamma function.

Proof
From the Gamma Function Extends Factorial:
 * $f \left({x + 1}\right) = \begin{cases}

1 & : x = 0 \\ x f \left({x}\right) & : x > 0 \end{cases}$

From Gamma Function is Continuous on Positive Reals, $\Gamma$ is positive and continuous on $\R_{>0}$.

From Log of Gamma Function is Convex on Positive Reals, $\ln \mathop \circ \Gamma$ is convex on $\R_{>0}$.

It remains to be shown that $\Gamma$ is the only real function which satisfies these conditions.

Let $s, t \in \R_{>0}$ such that $s \le t \le s + 1$.

Let $t = \alpha s + \beta \left({s + 1}\right)$ where $\alpha, \beta \in \R_{>0}, \alpha + \beta = 1$.

Then:
 * $t = \left({\alpha + \beta}\right) s + \beta = s + \beta$

and so:
 * $\beta = t - s$

Thus: