∑ sobre _{eu = 1} ^N 2 ^-c(i) ≤ 1, onde N é o número de folhas em uma árvore binária e c(i) é a profundidade da folha eu.