>>715
ありがとうございます。頭がショートしそう。
条件に対し、(a/d)＜{f(x)/g(x)}＜(b/c)が成立するのは理解できます。
≦を使うからには＝になるxがどこかにありそうなんですが、そうではない、と。
なら≦を使う必要はあるのか・・・？て感じです。

問題は定積分を評価してはさみうちを使うだけなので全く関係ないです
（というより積分した時点で＜になります）が、イマイチ納得できない。