1 problem

Convolutional strong subadditivity. One has