It turns out that for every copula function there are upper and lower bounds, called Frechet-Hoeffding bounds, that are described in the following theorem.