[obm-l] Re: [obm-l] O produto de n intei ros consecutivos é múltiplo do fatorial de n

[Paulo Argolo]

Obrigado, Tiago.

O que desejo, na verdade, é obter uma demonstração que não use propriedades dos 
coeficientes binomiais, nem recorra à Análise Combinatória. Em suma: gostaria 
de ver uma prova puramente aritmética.

Abraços do Paulo!