вона обов'язково реалізується через цикл

у ній використовується акумулятор замість аргументів

рекурсивний виклик є останньою дією в тілі функції, тому компілятор може виконати його без нарощування стека

функція викликає сама себе не більш ніж двічі