sigma subadditivity