设Rⁿ中的点列{x_k}和{y_k}收敛，证明：对于任何实数α，β，成立等式

(1)设{xk}是R²中的收敛点列,则

(2){x_k}是有界点列,即M(∈R)>0,使得k∈N₊,恒有;

(4)若{x_k}收敛于a,则它的任一子列也收敛于a.

证明

  设{f_n(x)}是定义在R¹上的实值函数列，令

  (k∈N)，

  {f_n(x)}的收敛点集是．

算法设计:对于给定的实直线上的n个点和闭区向的长度k,计算覆盖点集的最少区间数.

数据输入:由文件input.txt给出输入数据.第1行有2个正整数n和k,表示有n个点,且固定长度闭区间的长度为k.接下来的1行中有n个整数,在示n个点在实直线上的坐标(可能相同).

结果输出;将计算的最少区间数输出到文件output,txt.