设数列 ,构造求和数列
显然
那么问题转化为:数列 拥有什么样的性质,就保证数列 有界。
时满足
其中
如此一来
方框内的条件是充要的,充分性上面已经说明,下面证明必要性。
若 无界,即
,使得上取整
,使得
则由三角不等式
令 ,这与方框内的条件矛盾。