Prove that rational numbers from [0;1] can be covered by a system of intervals of total length no greater than 1/1000.