必要十分条件じゃなくって?

十分条件だったら「b_n=a_n」とかもアリになっちゃうけど