Se !$ f:]0,1[ \rightarrow IR !$ é tal que, !$ ∀ × ∈ ]0,1[ !$, !$ \left\vert f(x) \right\vert < \large{1 \over 2} !$ e !$ f(x) = \large{1 \over 4}\left ( f \left ( \large {x \over 2} \right ) + f \left ( { \large {x+1 \over 2}} \right ) \right ) !$

então a desigualdade válida para qualquer n = 1, 2, 3,... e 0 < x < 1 é: