metric: every open cover of a sequentially compact space has a Lebesgue number