非負整数$n$に対して$\tan\theta_n=n$を満たすような$\theta_n(0\leq\theta_n<\frac{\pi}{2})$をとる.このとき,
$$
\tan(\theta_{n+1}-\theta_n)=\frac{\tan\theta_{n+1}-\tan\theta_n}{1+\tan\theta_{n+1}\tan\theta_n}=\frac{1}{n^2+n+1}
$$であり,$-\frac{\pi}{2}<\theta_{n+1}-\theta_n<\frac{\pi}{2}$なので逆関数の定義より
$$
f\left(\frac{1}{n^2+n+1}\right)=\theta_{n+1}-\theta_n
$$となる.よって,$S$は以下のように計算できる.
$$
S=\sum_{n=0}^\infty f\left(\frac{1}{n^2+n+1}\right)=\sum_{n=0}^\infty (\theta_{n+1}-\theta_n)=\theta_\infty-\theta_0=\frac{\pi}{2}
$$
この問題を解いた人はこんな問題も解いています