求证sinx^2dx>0,积分区间为0到根号下2派