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

Вопрос

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n > 0.вещ r, x; цел n;. . .r := -r * x;r := r * n / (n + 1);n := n + 1;

• Утверждение r = (-1)n xn/n!, где восклицательным знаком обозначен факториал числа n.
• Утверждение r = (-1)n-1 xn/n.

Ответ