Data Processing Inequality

[Timeroot]

Getting the DPI for at least the von Neumann entropy, but ideally for a general class of entropies (which should follow similar proofs.) Most interested in getting for the Sandwiched Renyi entropy, at the moment, see the stub here.