∑ _{jo = 1} ^N 2 ^-c(i) ≤ 1, on N és el nombre de fulles a un arbre binari i c(i) és la profunditat de la fulla i.