Strong form of Han's entropy inequality

ID: strong-form-of-han-s-entropy-inequality

The strong form
follows by iterating entropy submodularity.

New to topics? Read the docs here!