Diminution of intervals