查看原题
设 $f(x)=\int_0^x \frac{\sin t}{\pi-t} \mathrm{~d} t$ ，计算 $\int_0^\pi f(x) \mathrm{d} x$
                        
不再提醒