По сути всё сводится к упрощению следующего выражения:
(b+1)\ \textgreater \ ab \\ ab+a+b+1\ \textgreater \ ab \\ a+b+1\ \textgreater \ 0 \\ a+b\ \textgreater \ -1)
То есть когда сумма a и b больше -1, то (a+1)(b+1) > ab.Примеры:a = 2, b = 3a + b = 5 > -1, значит, (a+1)(b+1) > ab точно. Проверим:3 * 4 и 2 * 312 > 6 - верно.a = 5, b = -6a + b = -1, значит, условие не выполнится. Проверим:6 * (-5) и 5 * (-6)-30 = -30. Условие действительно не выполнилось.a = -12, b = 5a + b = -7, значит, условие не выполнится. Проверим:-11 * 6 и -12 * 5-66 < -60. Условие действительно не выполнилось.