Ungleichung von Weyl