ex * (x-y) > ex - ey > ey * (x-y) kannst du durch (x-y) dividieren, da y<x
ex > (ex - ey ) / ( x - y )> ey
und bei e^x ist ja die Ableitung auch e^x also sagt
das nur aus :
f ' (x) < mittlere Steigung im Intervall [x;y] < f ' (y)
und weil f '(x) streng monoton wachsend ist, stimmt das.