Изменения

|proof=

Число вершин на высоте <tex>h</tex> в куче из <tex>n</tex> элементов не превосходит <tex dpi = "160"> \left \lceil \frac{n}{2^h} \right \rceil </tex>. Высота кучи не превосходит <tex> \log_{2} n </tex>. Обозначим за <tex> H </tex> высоту дерева, тогда время построения не превосходит <tex dpi = "160"> \sum_{h = 1}^H \limits\frac{n}{2^h}</tex> <tex dpi = "150"> \cdot h </tex> <tex dpi = "160">= n \cdot {\sum_{h = 1}^H \limits}\frac{h}{2^h} </tex>

Обозначим сумму ряда за <tex> S </tex>. Заметим что,