∑ mi = 1 N 2 -c(i) ≤ 1, dove N è il numero di foglie in un albero binario e c(i) è la profondità della foglia io.