Logarithm of Factorial

Theorem
where:
 * $\ds a_m = \dfrac {\paren {-1}^m} {m!} \sum_{k \mathop \ge 1} \paren {-1}^k \binom {m - 1} {k - 1} \ln k$