Nach Fakt ist der Arkustangens arctan t {\displaystyle {}\arctan t} eine Stammfunktion von 1 1 + t 2 {\displaystyle {}{\frac {1}{1+t^{2}}}} . Es ist
und
somit ist