Summation over k to n of Natural Logarithm of k

Theorem

 * $\displaystyle \sum_{k \mathop = 1}^n \ln k = \ln \left({n!}\right)$

where $n!$ denotes the $n$th factorial.