Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n неотрицательно.вещ r, x; цел n;. . .r := r * x * x;r := r / ((n + 1) * (n + 2));n := n + 2;
(Отметьте один правильный вариант ответа.)
Варианты ответа
Утверждение r = xn / n!, где восклицательным знаком обозначен факториал числа n. (Верный ответ)
Утверждение r = xn / ((n+1)·(n+2)).