>>345
A_1>0,A_nは単調非減少ということで
limA_n=0の定義をε=(A_1)/2について考えればよい