When n≥2, Sn≥2Sn−1 is equivalent to
xn≥x1+⋯+xn−1.①
Let C=41x1. We will prove
xn≥C⋅2n, n=1,2,…2◯
by induction.
When n=1, it is obviously true. When n=2, we have x2≥x1=C⋅22.
When n≥3, assume xk≥C⋅2k, k=1,2,…,n−1.
Then from ①, we have
xn≥x1+(x2+⋯+xn−1)≥x1+(C⋅22+⋯+C⋅2n−1)=C(22+22+23+⋯+2n−1)=C⋅2n.
Therefore, ② holds for every n.