数学归纳法证明题数列{an}满足0