Какое утверждение является инвариантом для - Ответ на вопрос по Прог №1247008

Вопрос

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, чтоn не меньше k.Восклицательным знаком обозначается операция вычисления факториала. int n, k, c; . . . c *= (n+1); c /= (n+1-k); ++n;

• Утверждение c = n! / (k! * (n-k)!).
• Утверждение c = (n+k)! / (n! * (n-k)!).
• Утверждение c = (n-k)! / (k! * (n+k)!).
• Утверждение c = (n+k)! / (k! * (n-k)!).

Ответ