Si et alors
Soient , et trois suites telles que :
Si et alors converge et
Soit la suite définie par :
On a donc