Эквивалентно ли a*b > c a > c/b для натуральных чисел и целочисленного деления? (не учитывая переполнение) ⇐ C++

[Anonymous]

Это произошло в программе C++, которую я пишу для перебора цикла, где было указано, что * b может переполниться. Я плохо разбираюсь в целочисленной математике, но думаю, что игнорирование переполнения a * b > c эквивалентно a > c // b. Для ясности я буду использовать синтаксис Python: / означает рациональное деление, а // означает целочисленное деление:

• Вперед: a * b > c подразумевает а > с / б >= с // б. (по определению пола. То же самое для a * b >= c)
• Обратно по контрапозитиву: a * b
  
  Подробнее здесь: https://stackoverflow.com/questions/793 ... ivision-no