Citat:
Ursprungligen postat av kverty
Att använda naturliga basen
e såg elegant ut men vet inte om det duger till bevis eftersom den använder sig av deriveringsregler? Känns som en genväg

Så klart att du får. Man får inte använda satsens egna resultat för att bevisa den (ty då blir det ett cirkelbevis) men man får självklart använda andra satser, som inte är beroende av den som ska bevisas.
Kedjeregeln, som används i beviset, är den enda regel som krävs. Den är inte en följd av beviset, utan kan bevisas direkt ur derivatans definition. Därmed kan den användas.