Rationale Exponentialfunktion/Stetigkeit/Nullpunkt und Funktionalgleichung/Fakt/Beweis

Beweis

Sei . Wir zeigen zuerst die Stetigkeit im Nullpunkt. Da die Folge , , gegen konvergiert, und da die rationale Exponentialfunktion wachsend ist, gibt es zu jedem positiven ein positives mit der Eigenschaft, dass aus

die Abschätzung

folgt. Es sei nun beliebig und vorgegeben. Wir betrachten ein , das zu

die Stetigkeit im Nullpunkt sichert. Dann gilt unter Verwendung von Fakt  (1) für mit

die Abschätzung