The Bohr-Mollerup theorem on the Euler $Γ$ function states: If $f : ℝ_+ → ℝ_+$ satisfies the functional equation $f(x+1) = xf(x)$ on $ℝ_+$, log ○ $f$ is convex on $(γ , +∞)$ for some $γ ≥ 0$ and $f(1) = 1$ then $f = Γ$. ...