1 Montrer que \(\sum_{k=0}^\infty \Arctan\Bigl(\frac1{k^2+k+1}\Bigr) = \frac \pi2\). (On pourra calculer \(\tan s_n\)) ✅