Причём тут вообще r? Из этой задачи нас интересуют только два значения - а и б. Сначала а = 5, б = 1. Получается 5 * 1 < 8 - true. Значение a увеличивается на 2. Б в 2 раза. Снова проверяем условие цикла. 7 * 2 < 8 - false. Цикл во второй раз выполняться не будет, так как 14 не меньше 8.