Show that ln x = e^(-x) has a solution in (1, e)