这个方式叫“退位相减法”，就是因为你中间出现过Sn-1，所以在这一行开始，n就必须自带前提：大于等于2.
也就是说这么算下去获取的an，理论是也是要n大于等于2，没办法直接说a1也是这个样子，因此要检验首项。
如果首项也符合这个格式，那么就直接写an，可以去掉大于等于2这个要求了；
如果首项不符合这个格式，那么就得写成分段函数的形式

因为出现了S_(n-1)，这样你的推导就只适用于n>=2的情况了