Source: wikibot/chung-erdos-inequality

= Chung–Erdős inequality
{wiki=Chung–Erdős_inequality}