问一下 xht 的这篇文章：

题目：P5903（长链剖分的模板）

为什么 $x$ 所在的长链长度一定 $\ge 2^{h_k}$？