To show that an<n1∀n=1,2,3,…, we will proceed with the following steps:
1. Boundedness and Initial Inequality:
Given that {an}n≥1 is a bounded sequence, there exists a constant D such that an<D for all n. The given inequality is:
an<k=n∑2n+2006k+1ak+2n+20071.
2. Applying the Boundedness:
Using the boundedness of an, we can write:
an<2n+20071+k=n∑2n+2006k+1D.
3. Estimating the Sum:
The sum ∑k=n2n+2006k+11 can be approximated using the integral test, which gives us:
k=n∑2n+2006k+11≈ln(n2n+2007).
Since ln(n2n+2007)=ln(2+n2007), for large n, this can be approximated by ln2.5.
4. Combining the Estimates:
Therefore, we have:
an<2n+20071+D⋅ln2.5.
5. Iterative Process:
We now consider the iterative process. Suppose an<nC for some constant C. Then:
an<2n+20071+k=n∑2n+2006k+1C.
Using the same approximation for the sum, we get:
an<2n+20071+C⋅ln2.5.
6. **Refining the Constant C:**
We need to show that C can be reduced to 1. Assume C=1+ϵ for some small ϵ>0. Then:
an<2n+20071+(1+ϵ)⋅ln2.5.
For large n, 2n+20071 becomes negligible, and we can iterate this process to show that C approaches 1.
7. Final Step:
By iterating the inequality and reducing C step by step, we can show that for any ϵ>0, there exists an N such that for all n>N, an<n1+ϵ. Taking the limit as ϵ→0, we get:
an<n1.
Thus, we have shown that an<n1 for all n.
■