Demonstração:

O teorema decompõe-se em dois:

Provemos que a sucessão

Qualquer que seja n inteiro e positivo un é uma potência de base positiva, portanto, também positiva.

Vamos demonstrar que é crescente, desenvolvendo o termo geral segundo a fórmula do binómio de Newton:

ou ainda,

(igualdade 1)

Daqui resulta que

por se ter suprimido uma parcela positiva, a última, e se ter aumentado todos os subtractivos.

Note-se que o último membro da desigualdade é precisamente un-1 . Conclui-se pois que un-1 < un para n inteiro e
positivo qualquer. Logo a sucessão é crescente.
Demonstremos agora que a sucessão de termo geral un é limitada superiormente.

Da igualdade 1), resulta, notando que todos os parêntesis do segundo membro são todos menores que a unidade,

e, por ser p! > 2 p-1 para p ³ 3, inteiro e positivo, vem da igualdade 2, por maioria de razão

ou notando que as parcelas a partir da segunda constituem uma progressão geométrica de razão œ cuja soma é,
portanto, [1-(1/2 n )] / [1 – (1/2)],

que prova ser 3 maior que qualquer termo da sucessão e, portanto, esta é limitada superiormente.

Então a sucessão de termo geral

sendo crescente e limitada superiormente tem limite finito.

Da igualdade 2) resulta que un < 3

Da igualdade 1) decorre com n ³ 2, por supressão de termos positivos do segundo membro da igualdade,

Portanto

Tem-se então que

Dem:

Por definição

Já vimos que

Consideremos a igualdade1) do Teorema anterior à qual se pode dar a forma seguinte, com n > m, m inteiro e positivo,

Daqui, com n suficientemente grande e por serem positivos todos os termos do segundo membro, vem

Tomando limites de ambos os membros desta desigualdade quando n tende para infinito, obtém-se

Em resumo, tem-se por um lado

Ou, tomando os limites,

e, sendo por definição

tem-se finalmente

c.q.d.