Suppose that then there exists some such and since this set is open there exists some open ball and by continuity there exists some such that . In other words, there exists some open ball around the point where which is entirely positive. Take the concentric closed ball . This is a closed and bounded interval and thus, by the Heine-Borel theorem, compact. Thus, since is continuous we know that assumes a minimum on . In particular, . Thus, . This of course is a contradiction.