Tensorization of entropy
= Tensorization of entropy
For a nonnegative <function> $Z$ of <independent random variables>, entropy is at most the sum of its conditional coordinate entropies. This tensorization is a basic step of the <entropy method for certifiable functions>[entropy method].