设有键值序列（k1，k2，…，kn），当i>n/2时，任何一个子序列（ki，ki+1，…，kn）一定是堆。