Hallo,
die rechte Seite gibt offenbar die Anzahl der (n+1)-Teilmenten von M:= {0,1,...,m} an. Diese Zahl kann ich durch eine alternative Abzählung dieser Teilmengen erhalten:
Wenn T : ={x1,…,xn+1}⊆M, dann können wir annehmen, dass die xi aufsteigend angeordnet sind, so dass xn+1 das Maximum dieser Elemente ist. Daher kann ich T auch so charakterisieren:
T=S∪{xn+1} mit S⊆{0,1,…,xn+1−1}
In Worten: Jede Teilmenge T⊆M mit (n+1) Elementen ist eindeutig durch das maximale Element p und eine n-elementige Menge von kleineren Elementen charakterisiert, also aus {0,…,p−1}. Davon gibt es (np) Teilmengen und p muss mindestens n sein und ist maximal m.
Das erklärt die linke Seite.
Gruß