Make forward reference to Lebesgue number, closing issue #236