Added proof and analysis of build-max-heap.