>>327
略解にはa_n<2と書かれているのですが、どこから導けるのでしょう?