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