Es ist

daher ist eine Stammfunktion des Tangens auf .