Sei a∈R. Dann ist f(a)>0.
Da f(x)→0 für ∣x∣→∞,
gibt es ein K>0, so dass f(x)<2f(a) für ∣x∣>K.
Da f stetig ist, nimmt es auf [−K,K] ein Maximum M an.
Nun ist also f(x)≤M für alle x∈[−K,K] und insbesondere f(a)≤M.
Für x∈/[−K,K] gilt f(x)<2f(a)<f(a)≤M.
Damit ist M ein globales Maximum.