Satz 5.12 Für ex gilt :   (1) lim xex = und lim x-ex = 0.   (2)

ex nimmt jeden Wert y > 0 genau einmal an ( W(ex) = {y : y > 0} = (0,) ).

Beweis. (1). Für x > 0 ist ex = n=0xn n! > 1 + x und lim x(1 + x) = . Für x < 0 ist - x > 0 und somit ex = 1 e-xx-0, denn ex x.

(2). Sei y > 0 beliebig. Aufgrund der Eigenschaft (1) gibt es Elemente a,b IR, so daß ea < y < eb. Da die Funktion ex in IR stetig ist, nimmt sie nach dem Zwischenwertsatz den Wert y an. Andererseits kann y auch nur einmal angenommen werden, denn ex ist nach Satz 5.11 (4) streng monoton wachsend.   <mi 
>P</mi><mi 
>I</mi><mi 
>C</mi><mi 
>T</mi>