对x*tan(x)在[0,pi/4]上积分