bei 1/(m+2) *n * (n+1) *...(n+m+1) + (n+1) *(n+2) *... (n+m+1) kannst du alle Faktoren
aus dem 2. Summanden ausklammern und hast:
(n+1) *(n+2) *... (n+m+1)* ( 1 / (m+2) * n + 1 )
= (n+1) *(n+2) *... (n+m+1)* ( n / (m+2) + (m+2) /(m+2))
= (n+1) *(n+2) *... (n+m+1)* ( n +m+ 2) / (m+2)
= 1 / (m+2) * (n+1) *(n+2) *... (n+m+1)* ( n +m+ 2)
und das ist es doch !