Fixpunktsatz/x ist n/Fixpunkt/Aufgabe

Aus Wikiversity

Es sei eine fixierte natürliche Zahl und

wobei durch die -fache Summe der mit sich selbst realisiert werde. Zeige direkt, dass es Sätze mit

und mit

gibt.