Wenn \(f\) die Nullfunktion ist, ist die Aussage klar.
Es gebe nun ein \(a\in \mathbb{R}\) mit \(f(a)>0\).
Wegen \(\lim_{x\rightarrow \pm\infty} f(x)=0\), gibt es \(K>0\)
mit: \(x\notin [a-K,\;a+K]\Rightarrow f(x)< f(a)/2\).
Da \(f\) stetig ist, nimmt es auf dem Kompaktum \([a-K,\;a+K]\)
ein Maximum an. Man sieht leicht ein, dass dieses ein
globales Maximum von \(f\) ist.