この画像をクリックしてみて下さい．

（1）は（2）の対数の真数条件を保証しています．

対数をはずして真数の不等式に変形します．このとき a による場合分けが必要になります．ここがポイントにひとつです．もうひとつは「すべての～」の処理です．