माना f एक नॉन-नेगेटिव फंक्शन है [0, 1] में और (0, 1) में दो बार differentiable है। यदि $$\int_0^x {\sqrt {1 - {{(f'(t))}^2}} dt = \int_0^x {f(t)dt} } $$, $$0 \le x \le 1$$ और f(0) = 0, तो $$\mathop {\lim }\limits_{x \to 0} {1 \over {{x^2}}}\int_0^x {f(t)dt} $$ :