add an inequality for the multivariate gk