数列｛a_n｝满足a_n>0,前n项和.
①求 ;
②猜想｛s_n｝的通项公式，并用数学归纳法证明.