Log of Gamma Function is Convex on Positive Reals

Theorem
Let $\Gamma: \R_{>0} \to \R$ be the Gamma function, restricted to the strictly positive real numbers.

Let $\log$ be the natural logarithm function.

Then the composite mapping $\log \circ \operatorname \Gamma$ is a convex function.