Let k≥1 and let I1,…,Ik be non-degenerate subintervals of the interval [0,1]. Prove that
∑∣Ii∪Ij∣1≥k2
where the summation is over all pairs (i,j) of indices such that Ii∩Ij=∅. inequalitiesfunctionintegrationcombinatorics proposedcombinatorics