このサイトはお使いのブラウザでは正常に動作しません。Google Chromeなど、別のブラウザを使用してください。
数3証明
(2)について。(1)の結果から、分母は最小3をとるのは分かったのですが、<1/3(3-an)と不等式をつなげるときに、1/3の時はan=0なのだからanを残していては(3-anの部分の話です)ダメではないのでしょうか?

回答
(1)で証明されたとおり、anは0にはなりませんが。
確かにそうです.... anにある数値を代入してこれよりは小さい!としているものと、anのままで使っている部分が混在していて((3)解説不等式右側)納得できませんでした。