Data-processing inequality