E ln x x proof