Pick some c ∈ C with c > s −ε (it exists by the definition of s). Then there is a finite subcover Q of O for [a,c]. But then Q∪{U} is a finite subcover of ...
確定! 回上一頁