1. Define the sequence and initial conditions:
Let Sn=∑i=1nai. Given the condition a1+a2+⋯+am+1≤ram, we can rewrite it as Sm+1≤ram.
2. **Establish the increasing nature of Sn:**
Since an>0 for all n, the sequence Sn is strictly increasing. This implies Sn+1>Sn, and thus r>1.
3. **Define the set K and its supremum ℓ:**
Define K={k∈R+∗∣Sn+1≥kSn for all n∈Z+∗}. The set K is non-empty because 1∈K (since Sn+1>Sn). Also, K is bounded above by S1S2. Let ℓ=supK.
4. **Show that ℓ∈K:**
Since ℓ is the supremum of K, for any ϵ>0, there exists k∈K such that ℓ−ϵ<k≤ℓ. This implies Sn+1≥kSn for all n, and by taking the limit as ϵ→0, we get Sn+1≥ℓSn.
5. **Derive the inequality involving r and ℓ:**
From the given condition Sm+1≤ram, we have Sn+2≤r(Sn+1−Sn). Using Sn+1≥ℓSn, we get:
ℓSn+1≤Sn+2≤r(Sn+1−Sn)
This simplifies to:
ℓSn+1≤rSn+1−rSn
Dividing both sides by Sn+1 and using Sn+1≥ℓSn, we get:
ℓ≤r−Sn+1rSn≤r−ℓr
Therefore:
ℓ≤r−ℓr
Multiplying both sides by ℓ, we obtain:
ℓ2≤rℓ−r
Rearranging terms, we get the quadratic inequality:
ℓ2−rℓ+r≤0
6. Analyze the discriminant of the quadratic inequality:
For the quadratic inequality ℓ2−rℓ+r≤0 to have real solutions, its discriminant must be non-negative:
Δ=r2−4r≥0
Solving for r, we get:
r2−4r≥0⟹r(r−4)≥0
This implies r≥4 or r≤0. Since r>1, we conclude r≥4.
7. **Verify that r=4 is achievable:**
Consider the sequence defined by a1=a and an=2n−2a for n≥2. Then:
Sn+1=2Sn⟹Sn=2n−1a
This gives ℓ=2 and r=4, satisfying the given condition.
■
The final answer is r≥4