证 ln x = e^(-x) 在 (1, e) 有解。