Source: wikibot/weyl-s-inequality

= Weyl's inequality
{wiki=Weyl's_inequality}