Статья 383

Таким образом, отличие абсолютной величины самого большого целого отрицательного числа на 1 от самого большого целого положительного числа можно оправдать. Но вот оправдать разницу, равную 2 и тем более большую, не представляется возможным. Поэтому опять-таки имеется уверенность, что если представимо целое число, то представило и целое число, число, меньшее на 1 по абсолютной величине. В противном случае можно считать, что компьютер либо требует ремонта, либо вообще мало пригоден для использования в вычислениях. Будем предполагать, что компьютеры, на которых мы работаем, устроены разумно.
Вернемся к нашей задаче. Когда целое число делится на целое число. Необходимым, хотя и не достаточным условием является требование, по абсолютной величине не должен превосходить. Так как по условию задачи неотрицательны данное выражение упрощается.