查看原题
设 $f(x)=\int_0^x \frac{\sin t}{\pi-t} d t$, 求 $\int_0^\pi f(x) d x$ 。
                        
不再提醒