Почему-то с трудом дошли до меня правила внесения +1 или -1 в операцию сравнения целочисленных переменных:
(a-1 < b) = (a <= b)
(a+1 > b) = (a >= b)
С трудом в том смысле, что иной раз приходится подумать, можно ли избавиться от единицы, но формализовать никак не додумывался. Всё "на пальцах" рассуждал.

Мне тут интуитивно не за что зацепиться. Надо какое-то мнемоническое правило придумать.

И наоборот:
(a < b) = (a+1 <= b)
(a > b) = (a-1 >= b)