a＜bを示せという問題って、a＜bを同値変形していって自明な形にしても示したことになるんでしょうか？
例えば、2-sinx^2＞cosx^2を示せなら
2＞sinx^2+cosx^2=1
2＞1は自明だから最小の不当式も正しいってことで