Aufgabe:
Zu einer Teilmenge M von R definieren wir die Menge aller Maxima als Max:=({m∈M :[∀x∈M :x≤m]})M∈P(R)
Zeigen Sie:
(a)Ist a:N→R,danngilt[∀n∈N0 :[∃m∈Max(M(n))]],wobeiMdefiniertistalsM:=
({a(i)|i ∈ {1..n + 1}})n∈N0 .
(b) Ist E ⊂ R endlich und nichtleer, dann gilt [∃m ∈ Max(E)].