前>>545
>>512
sinx+cosx＞tanx=sinx/cosx
sinxcosx+(1+cos2x)/2-sinx＞0
sin2x+1+cos2x-2sinx＞0
もう一つの条件からxの下限に迫れる。
cosx＞sinx+tanx=sinx+sinx/cosx
∴狭くとも　？＜x≦57π/192＜？