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 π/2 noktasında tanımlı olmadığı. Dolayısıyla F fonksiyonuna [0,π/2) ve (π/2,π] kümeleri üzerinde ayrı ayrı sabitler eklesek bile [0,π]−{π/2} kümesinde aynı türevi elde edeceğiz.
F fonksiyonunu (π/2,π] aralığında π/2 birim "yukarı kaydırırsak" ve π/2 noktasındaki değerini π/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.