1. Consider the following iterative function: Rewrite the function square using recursion and add preconditions and postconditions as comments. Then prove by induction that the recursive function you wrote is correct