>>1
>n≧N_0ならばa_n∈U となる

離散位相なのに?