Slight more detail is: Every program is allocated a stack segment which grows with each function call because it pushes every function's activation record (which means parameters, return value, local variables) on to the stack. If you have many recursive calls when every function pushes infinite records on stack, your program memory would run out i.e. at some point there is no more memory in program stack to push another record.