Помогите разобраться

это рекурсия, мы на F(n) вызываем эту же функцию повторно, только с F(n - 1).

т.е. n = 4,

n - 1 = 3 и т.д (т.к. мы погружаемся на уровень ниже)

позднее при встрече нашего условия мы сталкиваемся с очередной рекурсией, т.е.

n = 0

n = -1(n(0) - 2)

но т.к. мы выныриваем с прошлой рекурсии n = 1(с нуля до единицы)

и так мы выныриваем до 4 n = 4

позднее

n = 2(n = n - 2)

вызывается первая рекурсия

n = 0(n = n -1)

вновь выныриваем

n = 1

и дальше в определённый момент на 2-ой рекурсии мы получаем n = 0(n = n -2)

и мы выходим из функции.

Рекомендую вам скачать vs code, где с поддержкою стека вызовов и дебага прощупать все тонкости этой темы