>>860
ですがやはり示し方がわかりません
わかるとこを書きます

limAn=0は定義より An>ε

lim(1/An)=∞ は定義より 1/An > l

アルキメデス性を使うのでしょうか?