Если первое число меньше второго то считаем по восходящей ветке, если нет то по нисходящей в другом случае возвращаем ложь. Восходящая и нисходящие ветки перебирают числа и если условие не верно возвращаю ложь, если дошли до конца то возвращают истину.