>>630
2で割る
というしかいようがない・・・
後は、ふつうの三角関数の不等式のような・・・