When the condition that marks the end of recursion is met, the stack is then unraveled from the bottom to the top, so factorialFunction(1) is evaluated first, and factorialFunction(5) is evaluated ...

Recursion is not intrinsically better or worse than loops—each has advantages and disadvantages, and those even depend on the programming language (and implementation).