在数列极限的定义中,规定了N为正整数,之所以这么规定,只是因为N表示数列的项数,数列的项数一般从1开始,不为0。当然数列极限的实质和前面的有限项并没什么关系,你不采用这种主流定义,而规定N可以为0来定义数列极限,完全是正确的也是等价的。
假如你坚持N为正整数的定义,那N取 就会出现问题,因为 是任意正数,如果大于1,那取整后N就为0,与定义不符了,所以通常会取整后加1来保证N为正整数。
至于 这道题没有取整后加1,是因为它注明了“不妨设 ”,所以直接取整后一定大于等于1,不需要加1来保证正整数。之所以可以“不妨设”,是因为当 时,式子 显然成立。
每次去验证式子“显然成立”的情况,然后“不妨设”是很麻烦而且多余的,为了一劳永逸我建议每次都取整加1,也就是取 ,然后利用取整函数恒成立的不等式 去证明剩下的内容。