Strong induction (source code)

= Strong induction
{wiki}

Strong induction allows the step for an integer to use the result for every smaller integer.