如果,且(或),那么,时有(或)。
就的情况进行证明。根据可知,因为,所以对于时,,时有:
该定理的意思是,如果,那么从某项开始都是大于 0 的,如下图中的红点所示:
或者,如果,那么从某项开始都是小于 0 的,如下图中的红点所示:
如果从某项起有(或),且,那么(或)。
(1)设从第项起,即时有,现用反证法进行证明。 (2)如果,则由收敛数列的保号性可知,,时有。
(3)取,则时,根据(1)有,根据(2)有,两者矛盾。所以(2)中的假设是错误的,因此。
比如之前提到的,该所有的项都是大于 0 的,根据收敛数列保号性的推论可知,此的极限不可能小于 0。之前确实证明了: