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

[Anonymous]

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

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