Question $1$

Induction is a powerful tool to prove the correctness of recursive algorithms. Consider the algorithm below for incrementing a positive integer number recursively $($i$.$e$.,$ INCREMENT $(x)x+1)$:

function INCREMENT