Berechenbarkeit/Beta-Funktion/Folgenrepräsentierung/Fakt

Lemma über die -Funktion

Zu jeder endlichen Folge aus

gibt es natürliche Zahlen derart, dass für ist.