Source: wikibot/jorgensen-s-inequality

= Jørgensen's inequality
{wiki=Jørgensen's_inequality}