Skip to main content
2 of 3
added 30 characters in body

The answer to the first question is positive, and the lower bound is achieved, since the set of all probability measures on $[0,1]^k$ with uniform marginals is compact and since the integral of the bounded continuous function $(x_1,\ldots,x_k) \mapsto x_1\cdots x_k$ on $[0,1]^d$ depends continuously of the probability measure.

Yet, finding the minimum is not obvious. For all $i<j$, the conditional distribution of $(X_i,X_j)$ given $X_1,\ldots,X_{i-1},X_{i+1},\ldots,X_{j-1},X_{j+1},\ldots,X_k$ should be the decreasing coupling.