>>295
0<x<pi/2のとき、上界の1つに1-cosx+sinxが取れるだろ。だから sinx < x < 1-cosx+sinx が成立する。