∑ _{am = 1} ^N 2 ^-c(i) ≤ 1, unde N este numărul de frunze într-un arbore binar şi c(i) este adâncimea de frunze i.