Borel-Lebesgue theorem