Note que $\bar{S}$ é um conjunto fechado e limitado, logo, compacto.