Let $f$ be continuous on $[0,1]$ and
$$
\begin{aligned}
&J_{1}=\int_{0}^{1 / \sqrt{\pi}} \frac{n f(x)}{1+n^{2} x^{2}} \mathrm{~d} x \\
&J_{2}=\int_{1 / \sqrt{n}} \frac{n f(x)}{1+n^{2} x^{2}} \mathrm{~d} x
\end{aligned}
$$
Use 7.1.12 to prove that
$$
\begin{aligned}
&J_{1}=f\left(c_{n}\right) \tan ^{-1} \sqrt{n} \\
&J_{2}=f\left(d_{n}\right)\left(\tan ^{-1} n-\tan ^{-1} \sqrt{n}\right)
\end{aligned}
$$
where $0<c_{n}<1 / \sqrt{n}<d_{n}<1$. Deduce that
$$
\int_{0}^{1} \frac{n f(x)}{1+n^{2} x^{2}} \mathrm{~d} x \rightarrow \frac{1}{2} \pi f(0) \quad \text { as } n \rightarrow x
$$