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