Komplexe Exponentialfunktion/Skalarprodukt/Abschätzung/Fakt/Beweis

Beweis

Es ist

Nach Aufgabe ist

und nach Fakt ist dies .