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 !