algorithm - 软堆在任何给定时间最多包含 n/2 次幂 r-3 损坏的项目。怎么会这样？

Question

在Bernard Chazelle 发表的这篇论文中，其中一个引理（引理 5.2）指出“软堆n / 2^(r-3)在任何给定时间最多包含损坏的项目”。我很难理解它。如果有人能解释它是怎么回事，那将会很有帮助。