How to prove that $e^x=x$ has no real solution? I am really stumped by this equation.
$$e^x=x$$
I need to prove that this equation has no real roots. But I have no idea how to start.
If you look at the graphs of $y=e^x$ and $y=x$, you can see that those graphs do not meet anywhere. But I am trying to find an algebraic and rigorous proof. Any help is appreciated. ( $e^\infty=\infty$ looks like a solution but is it?)
 A: Study $f : x \mapsto e^x - x$
Its derivative is $x \mapsto e^x-1$ which cancels at $0$, is negative before and positive after, thus $f$ reaches a minimum at $0$, and that minimum is $f(0) = 1 \gt 0$. Thus $f$ never cancels, and there are therefore no real solutions to the equation $e^x -x = 0$ ie $e^x = x$
A: Let $f(x) = e^x - x$. $f'(x) = e^x -1 \geq 0$ and hence $f$ is increasing. Thus for any $x > 0$, $f(x) > f(0)$ and hence $e^x > x+1$ and $f(x) = 0$ has no solution when $x > 0$. For $x <0$, $e^x >0$ and $x < 0$ and hence $e^x \neq x$.
A: *

*For $x \le 0$ we have $e^x >0$, thus no solution of the above equation exists in $(-\infty, 0)$

*If $x>0$, then $e^x=1+x+\frac{x^2}{2!}+\ldots>x$. Therefore: no solution of the above equation exists in $(0, \infty)$.
A: At $x=0$ , $e^x>x$ now derivative of $y=x$ equals $1$ while derivative of $e^x$ is $e^x$ which is increasing and always positive thus the two graphs never meet. 
A: We have $e^x=x$ if and only if $x=\ln x$, which means, for one thing that there can be no solution with $x\le0$.  For $x\gt0$, we have
$$\ln x=\int_1^x{dt\over t}\le\int_1^xdt=x-1\lt x$$
so there is no solution for $x\gt0$ either.
Remark:  The key inequality between the two integerals may look puzzling for $x\lt1$, since ${1\over t}\gt1$ in that case; but it's still correct because the integrals are both negative.
