MAX－HEAPIFY的算法复杂度的计算问题

《算法导论》p75的最后一段话讲到： 当MAX－HEAPIFY作用在一棵以结点i为根的、大小为n的子树上时……………i结点的子树大小至多为2n/3(最坏情况发生在最低层恰好半满的时候)………. 为什么子树大小至多为2n/3? 思索N久： n0+n1+n2=n    (1) n1+2n2+1=n    (2) 由(1),(2)得， n0=n2+1,因为二叉堆是完全二叉树，且最后一层半满，即n1=0,得： n0=(n+1)/2 则最后一层为x,倒数第二层的叶子结点为x/2： x+x/2=n0=>x=(n+1)/3 所以子树大小至多为 (x+n-1)/2=((n+1)/3+n-1)/2=(2n-1)/3<=2n/3