查看原题
若 $\int_0^x f(t) \mathrm{d} t=x \mathrm{e}^{-x}$, 则 $\int_1^{+\infty} \frac{f(\ln x)}{x} \mathrm{~d} x=$
                        
不再提醒