Demonstrao: O teorema decompe-se em dois:

Provemos que a sucesso

Qualquer que seja n inteiro e positivo un uma potncia de base positiva, portanto, tambm positiva. Vamos demonstrar que crescente, desenvolvendo o termo geral segundo a frmula do binmio 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 sucesso crescente.

Demonstremos agora que a sucesso de termo geral un limitada superiormente. Da igualdade 1), resulta, notando que todos os parntesis do segundo membro so 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 razo

ou notando que as parcelas a partir da segunda constituem uma progresso geomtrica de razo cuja soma , portanto, [1-(1/2 n )] / [1 (1/2)],

que prova ser 3 maior que qualquer termo da sucesso e, portanto, esta limitada superiormente. Ento a sucesso 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 supresso de termos positivos do segundo membro da igualdade,

Portanto

Tem-se ento que

Dem: Por definio

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, obtm-se

Em resumo, tem-se por um lado

, Ou, tomando os limites,

e, sendo por definio

, tem-se finalmente

c.q.d.