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