已知函数f(x)=(1/3)*x^3-x,数列{an}满足条件:a1≥1,a(n+1)≥f'(an+1)