CLRS 6.1-2 :
证明：含n个元素的堆的高度为[lgn].
证明：因为 2^h <= n <= 2^(h+1) - 1
所以 lg(n+1) -1 <= h<= lg(n)
可推出lg(n) - 1 < lg(n+1) -1 <= h<= lg(n)
从而h = [lgn].