>>721
f(y) = (e^y)-y が単調増加関数であることを示せばいい。