Solution 2.5.16.1.

We once again failed to establish the base case: when \(n = 0\text{,}\) \(n^2 + n = 0\) which is even, not odd.

in-context