算法导论 Theorem8.1

这个定理要证明的是一比较为基础的时间复杂度的下界是O(n*lgn)。证明过程是利用n!<=l<=2^h（不是很明白为什么n!<=l，觉得二者相等），再取对数，得到h>=lg(n!)=Ω(nlgn)。