Entropy method for certifiable functions (source code)

= Entropy method for certifiable functions

The entropy method combines a coordinatewise certificate with <tensorization of entropy> to bound the <moment-generating function> of a certifiable random quantity and hence its tails.