Bağlantısından, sin(πx)πx=∞∏n=1(1−x2n2)
olduğunu biliyoruz. Her iki tarafın logaritmasını alalım:
log(sin(πx)πx)=log(∞∏n=1(1−x2n2))=∞∑n=1log(1−x2n2).
Şimdi her iki tarafın türevini alalım:
πxsin(πx)(cos(πx)x−sin(πx)πx2)=∞∑n=1−2xn2(1−x2n2).
Gerekli düzenlemeleri yapalım:
πcot(πx)−1x=−2x∞∑n=11n2−x2,
diğer bir deyişle
∞∑n=11n2−x2=12x2−πcot(πx)2x.