strong subadditivity inequality