Tensorization of entropy
= Tensorization of entropy
For a nonnegative <function> $Z$ of <independent random variables>, <entropy functional>[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].