Definition. Für x IR sei ex =Df exp(x).