数列,求证an