在数列an中已知a1等于1an 1>an