Summation over k to n of Natural Logarithm of k

Theorem

 * $\ds \sum_{k \mathop = 1}^n \ln k = \map \ln {n!}$

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