Eilenberg's inequality (source code)

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