Какое утверждение является инвариантом для следующегофрагмента - Ответ на вопрос №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)!).

Ответ