用数学归纳法证明:若数列{an}的通项公式是an=2n+3,则前n项和Sn=n^2+4n