Weyl's inequality