Suppose a topological space admits an unbounded continuous function to . Set and choose so that increases to infinity. There is a continuous function with : interpolate linearly between successive prescribed values and extend constantly below . Thenis continuous and takes values strictly between and , while its values on the even and odd chosen sequences tend to and . Thus neither bound is attained. In particular, unbounded continuous witnesses to noncompactness of a real subspace give this stronger failure of the extreme value theorem for every noncompact real subspace.
By the Heine-Borel theorem, a noncompact subset is either unbounded or not closed. If is unbounded, the restriction is a continuous function with unbounded range.
Otherwise is bounded and not closed. Choose , and defineIts denominator is nonzero on , so it is continuous. Since is in the closure, for every there is with . Hence , proving that this continuous function is unbounded. These two cases establish unbounded continuous witnesses to noncompactness of a real subspace.