Чтобы рассмотреть все возможные комбинация зверей итерацию цикла начинаем с 0;
i - это счетчик возможных животных (в данном решении - гусей)
Максимальное количество лап, если все звери это гуси = 32 т.к у каждого гуся по лапы , а всего лап 64 по условию
Прибавляем мы по 2 гуся за 1 прозод цикла поскольку, количество лап 2 гусей == количеству лап 1 Кролика
(Если увеличивали бы  на 1 гуся , то оставались бы "Лишние лапы")
 Формула (64 - i*2) / 4  всего лишь находи оставшихся возможных Кроликов при i существующих Гусях