f(x)=tanx-xとおくとf(x)は0<x<πで単調増加で、その上f(0)=0だから