Sean $r,n$ enteros no negativos tales que $r\leq{n}$.
a) Demostrar que $$\frac{n+1-2r}{n+1-r}C(n,r)$$ es un entero.
b) Demostrar que
$$ \sum_{r=0}^{\lfloor n/2\rfloor}\frac{n+1-2r}{n+1-r}C(n.r)<2^{n-2}$$ para todo $n\geq 9$.
(Nota: $\lfloor x\rfloor$ es el mayor entero menor o igual que x, y $C(n,r)$ es el número de subconjuntos de tamaño r tomados de un conjunto de tamaño n.)