>>50
0＜t＜πでsintは上に凸だから(sinX+sinY)/2＜sin{(X+Y)/2}