Consequently, in the definition ofRp(εK, εN)we may restrict toˆx∈ {0,1}, and the optimal output distributions are Bernoulli

(Objective non-increasing) For everyp∈(0,1), Fp(¯µK,¯µN)≤F p(µK, µN) · 2009