prove que 2n ≥n + 1 para todo n em E n ^ ӿ
2n n+1 , todas as operações que fizer de um lado podemos também realizar do outro, vamos então subtrair n
2n -n n +1 -n, No lado direito 2n - n = n, e do lado esquerdo podemos eliminar +n - n = 0, ficando apenas o número 1
1n 1 , De outra maneira
n 1 , portanto n pertence ao conjunto dos número Naturais diferente de zero.