一定可以找到一个N,当n>N,有an/an+1>1设此时该式最小值为m,则有an+1<an/m。可得aN+k≤aN+1/m^(k-1)而右式趋向于0,可证。相当于是找到了一定范围内比an大的公比小于1的等比数列。