下側の不等式は cosxle∣cosx∣\\cos x\\le|\\cos x|cosxle∣cosx∣ なので自動的に成り立つ。両区間では ∣cosx∣<1/sqrt2|\\cos x|<1/\\sqrt2∣cosx∣<1/sqrt2 だから上側も成り立つ。前の場合の中央区間と合わせて xin[pi/4,7pi/4]x\\in[\\pi/4,7\\pi/4]xin[pi/4,7pi/4] を得る。