inter_subadditivity/