>>24
f(x)が増加関数だから、 f{g(x)}/g(x)≦f(x)/x
g(x)が増加関数だからg(x)/x≦g(1)/1≦1ゆえに、 g(x)/x≦g{f(x)}/f(x)
よって f{g(x)}≦{f(x)g(x)}/x≦g{f(x)}となる。