sin(x)tan(x/2)をπの少し前からπまで積分すると発散すると思うんですが、どうやったら証明できますか？