>>891
だとしたら

例えばf(x)<g(x)を証明せよという問題は

f(x)<g(x)
f(x)-g(x)<0
t(x)l(x)-g(x)<0
よってf(x)<g(x)

最初にf(x)<g(x)という式を用いて変形した場合
アウトですか？