The fundamental best-possible bounds inequality for bivariate distribution functions with given margins is the Frechet-Hoeffding inequality: If H denotes the joint distribution function of random variables X and Y whose margins are F and G, respectively, then...