It calls itself. factorial(5) calls factorial(4), which calls factorial(3), which calls factorial(2), which calls factorial(1), which calls factorial(0) — and ...