Die Länge eines Vektors ist doch die Wurzel aus
der Summe der Quadrate der Komponenten.
Diese Quadrate sind alle nicht negativ, also ist
die Summe der Quadrate der Komponenten.nie
kleiner als das Quadrat einer Komponente. Also die
Wurzel nie kleiner als der Betrag dieser Komponente.