树的 dfs 序列中（先加当前节点再遍历儿子），最后一个子树大小大于 $\left\lfloor \frac{n}{2} \right\rfloor$ 的有什么性质？