证明存在区间和分割，使得单调增1-Lipschitz函数的增长率