Every recursive algorithm has an equivalent iterative double. Iterative solutions ARE induction :) If you are careful about test vectors, you can pseudo-exhaus

Every recursive algorithm has an equivalent iterative double. Iterative solutions ARE induction :) If you are careful about test vectors, you can pseudo-exhaustively prove that an iterative dual to a recursive algorithm is equivalent.