Artem Yeakovlev

Единица возвращается в предыдущий вызов функции, где умножается на a равную двум и опять возвращается в предудщий вызов. Так пока не дойдёт до первого вызова, который вернёт значение своё функции print(). Чтобы лучше представить это, мыслено замени вызовы функции на её тело

(
    if 3 == 0:
        return 1
    else:
        return 2 * (
            if 2 == 0:
                return 1
            else:
                return 2 * (
                    if 1 == 0:
                        return 1
                    else:
                        return 2 *  (
                            if 0 == 0:
                                return 1
                            else:
                                #Эта ветка никогда не выполнится
                        )
                )
        )
)