Source: /wikibot/eilenberg-s-inequality

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