sei \( I_i = I' \). Dann ist \( I' \supset I' = \cup_i I_i \) und \( \sum_i V(I_i) = N V(I') > V(I') \).
Oder sei
\( I_0 = [ a , a + 2 \frac{b-a}{N+3} ] \),
\( I_{N+1} = [ b - 2 \frac{b-a}{N+3}, b ] \)
und \( I_i = [a + i \frac{b-a}{N+3}, a + (i+2)\frac{b-a}{N+3} ] \) für \( i = 1, \dots, N \).
wobei \( I' = [a, b] \) sei. Dann ist
\( I' \supset \cup_{i=1}^{N} I_i = [a + \frac{b-a}{N+3}, a + \frac{N+2}{N+3}(b-a) ] \)
und
\( \sum_{i=1}^{N} V(I_i) = 2N \frac{b-a}{N+3} \geq V(I') = b-a \) für alle \( N \geq 3 \).
Die Gleichheit gilt bei \( N = 3 \).
Im Gegenteil zum ersten Beispiel sind die \( I_i \) hier paarweise verschieden und ist die Teilmenge eine echte.
Mister