Seja {n,p}∈N∪{0} tal que 2p≤n. Prove que p!(np)!≤(2n+1)n−2p. Determine todas as condições sob as quais a igualdade é válida.