nutze tan(2x)=2tan(x)/(1-tan(x)^2)
Setze nun tan(x)=z . wenn x gegen pi/4 strebt, dann strebt z gegen 1.
Also
lim z--->1 z^{2z/(1-z^2)}
Es ist 2z/(1-z^2)=-1/(z+1)-1/(z-1)
Da der Term im Exponenten steht und
lim z--->1 z^(-1/(z+1))=1 gilt, braucht nur der zweite Summand betrachtet zu werden.
Also= lim z--->1 z^(-1/(z-1))
Substituiere nun -1/(z-1) =n
-1/n +1=z
=lim n--->±oo (1-1/n)^n
Das ist die Definition von e^(-1)