∑_i=1^N 2^-c(i) ≤ 1, where N is the number of leaves in a binary tree and c(i) is the depth of leaf i.