数列{a_n}的前n项和S_n=2n-a_n，先计算数列的前4项，后猜想a_n并证明之。