Demuestra que ln x = e^(-x) tiene solución en (1, e)