查看原题
设 $f(x)=x \int_x^\pi\left(\frac{\sin t}{t}\right)^2 d t$ ，则 $f(x)$ 在 $[0, \pi]$ 上的平均值为 $\qquad$ ．
                        
不再提醒