证明具有n个结点的二叉树,其深度至少为[log2n]+1,