>>887
その方法もありかな
ただθiの取りうる範囲が0<θi<2πで、sinθiが上に凸でない区間を含むのでイェンゼンの不等式を使う前にもうひと工夫要る