Mamy n-elementowy kopiec w wersji lazy. Robimy deletemin.
W najgorszym przypadku minimum będzie w korzeniu największego drzewa w kopcu.
Wysokość tego drzewa to k = {\lfloor log_2{n}\rfloor} + 1.
Wielkość tego drzewa to oczywiście 2^{\lfloor log_2{n}\rfloor}.
Wiadomo też z definicji drzewa dwumianowego, że drzewo wysokości k posiada k-1 synów,
z których każdy jest korzeniem drzewa wysokości kolejno k-1,k-2,…, 1.
Zatem usuwając minimum z drzewa o wysokości k dodajemy do kopca k-1 = \lfloor log_2{n}\rfloor nowych drzew.