He comprobado la siguiente identidad (1) a continuación para con una computadora Dejar denota el factorial descendente , dejar , y finalmente dejar . Entonces, conjeturo que
Probé mis herramientas habituales (inducción, método WS, usando identidades similares) y fallé. Cualquier ayuda apreciada.
Esta identidad aparece naturalmente al tratar de responder a esta otra pregunta MSE .
Parece que hay una falla en el problema planteado. Quizá quieras comprobarlo aunque ha pasado algún tiempo desde que se publicó.
los polinomios con
Obtenemos por
Por otro lado
obtenemos en (1) para
que no coincide con (2).