这个证明很简单,和上一页类似,用绝对值不等式即可。
有趣 x0x_0x0 必须属于 (X,d)(\mathbf{X},d)(X,d) ,非常重要。
子列是原数列的一部分,保持顺序不变。
nk≥kn_k\ge knk≥k,这是一定的。nkn_knk 是原数列里的项数,kkk 是新数列中的编号。