cotπx=2xπ(12x2+1x2−12+1x2−22+…)
denklemini aşağıdaki şekilde yazarsak
cotπx−1πx=2xπ(1x2−12+1x2−22+…)
sağ tarafı yakınsak, 0≤x<1 aralığında, yani terimlerin tek tek integrali alınabilinir. her tarafı π ile çarpıp integralini alırsak, sol taraf için
π∫π0(cotπt−1πt)dt=lnsinπxπx
ve geri kalan sağdaki terimlerinde integrali alınarak,
ln(1−x212)+ln(1−x222)+⋯=limn→∞∑nv=1ln(1−x2v2)
iki terimi eşitleip, logaritmayı toplam çarpımın içinde dışarı çıkarıp, çarpım sembölüne çevirirsek toplam sembölünü, istenilen sonuç elde edilir.