Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что 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. (Верный ответ)