列然后按照圈2圈3的步骤来证明an丅有界。通过单减下有界数列有极限来证明
圈1,是利用积分的一个性质设g(x)在[a,b]上的最小值为m,最大值为M则
圈3,是把求和对应项相结合然后第一个求和有n项,而第二个求和只有n-1项所以会多出一个f(n)。
最后根据圈1的结论及f(x)非负得到an≥0有下界