'Subconjuntos de qué?" parece una pregunta razonable preguntar. Su interpretación es un poco confusa, el mayor conjunto considerado en el LHS es uno menor que el de la derecha, y usted no sabe el subconjunto del elemento maximal en el lado izquierdo, sólo el más grande podría ser.
Teniendo en cuenta lo que dices acerca de la RHS, vamos a $S = \{1, 2, \cdots, n-1, n, n+1, \cdots, n+m+1\}$. A continuación, el lado derecho es el número posible de tamaño $m$ subconjuntos.
Para la LHS, proceda de la siguiente manera:
- Cómo muchos de los subconjuntos no contienen $(n+m+1)$? Que $k$ ¿coincide?
- Cuántos subconjuntos contienen $(n+m+1)$, pero no $(n+m)$?
- Cuántos subconjuntos contienen $(n+m+1)$$(n+m)$, pero no $(n+m-1)$?
- ...
Revise todos los subconjuntos de caer en una de estas categorías.