Lemma: Es gibt eine Folge, die gegen das Infimum einer beschränkten Teilmenge von konvergiert

Sei und .

Dann gibt es eine Folge mit , die gegen konvergiert.

Beweis

Wir machen wieder eine Fallunterscheidung:

1. Teil:

Liegt in (und ist damit ein Minimum), dann sei eine konstante Folge und wir sind fertig.

2. Teil:

Liegt nicht in , dann gilt mit Definition 12.2.47 1.):

Da mit Proposition 13.4.12 gilt

  • und außerdem ,

folgt mit dem Einschnürungssatz, dass gegen konvergiert.