=== Teorema de Weierstrass ===

**Demonstração:** Como $K$ é compacto, segue que [[topologia:compcontinua| $f(K)$ é um conjunto compacto]]. Todo compacto da reta é um conjunto fechado e limitado, e portanto admite pontos de máximo e de mínimo.