Source: /wikibot/chung-erdos-inequality

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