The base case for induction must always be n=1. Technically you can start at any natural number n, but if you do you will need to check all cases less than n
Back