Hong-Kung bound

From dankwiki