Will the following C++ function always terminate, for any input? Prove your answer. You should assume for this problem that the int type does NOT wrap around (it can count to any integer, positive or negative).

 

int g(int n) { int x = g(n if (x > 0) { } } else { } return x + 1; 1); return 1;