{A} = A % 2 - 1
Первое значение, которое должно быть выведено - это A (если A нечетно) или A-1 (если A четно).
{B} = X - 2
Следующее нечетное число на 2 меньше предыдущего (т.к. числа выводятся в прядке убывания).
{C} = B-1
Последнее нечетное число, которое должно быть выведено - это или B (если B нечетно) или B-1 (если B четно), следовательно, значение X перед выходом из цикла должно быть B-2 или B-3 (т.е. >B-1)