Ist sup(f) = n, dann ist f(x) ≤ n ∀ x∈[a,b].
Also ist -f(x) ≥ -n ∀ x∈[a,b].
Ist jetzt auch sup(-f) = -n, dann ist -f(x) ≤ -n ∀ x∈[a,b].
Also gilt -f(x) ≤ -n ≤ -f(x) und somit -f(x) = -n ∀ x∈[a,b].
Folglich ist f(x) = n ∀ x∈[a,b].
OK, es muss nicht die Nullfunktion sein. Aber die Funktion muss konstant sein.