The Hermite-Hadamard inequality is used to develop an approximation to the logarithm of the gamma function which is more accurate than the Stirling approximation and easier to derive. Then the concavity of the logarithm of gamma of logarithm is proved and applied to the Jensen inequality.
Finally, the Wallis ratio is used to obtain the additional term in Stirling's approximation formula.