sei x>y, dann existiert ein x_0 ∈(y,x) sodass laut MWS:
$$f'(x_0)=e^{x_0}=\frac{e^x-e^y}{x-y}\\ e^{x_0}(x-y)=e^x-e^y \\ y=0,-->e^{x_0}>=1\\ e^{x_0}x=e^x-1\\ x<=e^{x_0}x=e^x-1\\ x+1<=e^x$$
(Analog kannst du auch x=0 setzen, um die Ungleichung auch für negative Argumente zu zeigen)