Prove that the following C program calculates 3n1 for any positive integer n by mathematical induction. int an ( int n){ if (n=1){ return 1; \} else if (n=2){ return 3 ; else \{ return 4an(n1)3an(n2) \}