Natürlich kann man die Sache bei positivem a
und ganzzahligen Exponenten leicht einsehen.
Etwas komplizierter wird es für rationale Exponenten.
Schließlich kann man a^x durch einen Grenzprozess
definieren, so dass x->a^x stetig ist. Da Q dicht in R
liegt, übertragen sich dann alle Regeln mit
rationalen Exponenten auch auf beliebige reelle Exponenten.
Es geht darum, im Falle a=e einen solchen oder
einen gleichwertigen Beweis explizit zu führen.