|a_n| < 1/n ならば lim[n→∞]a_n = 0 の証明には可算選択公理は必要ですか?
それとも a_n = 1/(n+1) とすれば |a_n| < 1/n かつ lim[n→∞]a_n = 0 を満たすので必要ないですか?