$F(x)=arctan(2tan(x))/2$ fonksiyonu ilgili fonksiyonun bu aralıkta "antiderivative"i olmadığı için sorun çıkıyor. Dikkat edilmesi gereken nokta $F$ fonksiyonunun $\pi/2$ noktasında tanımlı olmadığı. Dolayısıyla $F$ fonksiyonuna $[0,\pi/2)$ ve $(\pi/2,\pi]$ kümeleri üzerinde ayrı ayrı sabitler eklesek bile $[0,\pi]-\{\pi/2\}$ kümesinde aynı türevi elde edeceğiz.
$F$ fonksiyonunu $(\pi/2,\pi]$ aralığında $\pi/2$ birim "yukarı kaydırırsak" ve $\pi/2$ noktasındaki değerini $\pi/4$ olarak tanımlarsak, sorudaki orijinal fonksiyon için aralığın tamamında sürekli olan bir "antiderivative" elde ederiz. Analizin temel teoremini bu antiderivative ile uygularsak da istenen sonucu elde ederiz.