मान लें कि [.] t से कम या उसके बराबर का सबसे बड़ा पूर्णांक है। तब p ∈ N का सबसे कम मान जिसके लिए

$ \lim\limits_{x \to 0^+} \left( x \left[ \frac{1}{x} \right] + \left[ \frac{2}{x} \right] + \ldots + \left[ \frac{p}{x} \right] \right) - x^2 \left( \left[ \frac{1}{x^2} \right] + \left[ \frac{2}{x^2} \right] + \ldots + \left[ \frac{9^2}{x^2} \right] \right) \geq 1 $ _______ के बराबर है।