f, pozitif gerçel sayılar kümesinde tanımlı (ve pozitif değerli), türevlenebilir ve artan bir fonksiyon olsun. limx→∞f(x)=L pozitif bir gerçel sayı iken ∞∑n=1(L−f(n)) sonsuz toplamı yakınsak mıdır?
Örneğin, x>0 değerlerinde tanımlanan f(x)=arctan(x2) fonksiyonu için bunun doğru olduğu gösterilmişti.