a<b を仮定した上で、m>n ならば A_m⊂A_n だから ∩[i=1,n]A_i=A_n で、
結局 lim[n→∞]A_n を求める問題でないの？