Prova de irracionalidade do número de Euler