Es sei ${\displaystyle {}b}$ eine positive reelle Zahl und

${\displaystyle f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto b^{x},}$

die zugehörige Exponentialfunktion.

Dann gilt

für alle ${\displaystyle {}x,x'\in \mathbb {R} }$.