查看原题
已知 $f(t)=\int_1^{t^2} \mathrm{~d} x \int_{\sqrt{x}}^t \sin \frac{x}{y} \mathrm{~d} y$ ，则 $f^{\prime}\left(\frac{\pi}{2}\right)=$
                        
不再提醒