定积分 x*arctanx 范围为0到根号3