查看原题
已知 $f^{\prime}(x)=\frac{\sin x}{x}$, 且 $f(\pi)=a$, 则 $\int_0^\pi f(x) \mathrm{d} x=$
                        
不再提醒