>>299
指定されたxの定義域で、f'<0が示せるなら単調減少と言えるけど、f'が複雑でよく示せないということ？
それならf'の最大値が0より小さいことを示すためにf”を計算して増減調べてみたら？
f'を微分すらしてないけど