I am asked the following:
Prove by induction $n^2 + n \geq 42$ when $n \geq 6$ and $n \leq -7$
The first part of the exercise seems ok:
Base case P(6): $\quad LHS = 36+6=42\geq 42$
Inductive hypothesis $\quad P(k) : k^2 + k \geq 42$
Inductive step $$ (k+1)^2 + (k+1) = k^2 + 2k + 1 + k + 1 = k^2 + k + (2k+2) > k^2 + k \geq 42$$
Now, for the second part:
Base case P(7): $\quad LHS = 49-7=42\geq 42$
Inductive hypothesis $\quad P(k) : k^2 + k \geq 42$
Inductive step $$\quad (k+1)^2 + (k+1) = \cdots$$ (not sure how to go from here)
My intuition says I need to use the fact that I have a negative $n$ and use it to my favor, however, I am not sure how.
Any help is highly appreciated.
First part is fine, for the second part to avoid negative number we can use that by $m=-n>0$ such that
$$n^2 + n \geq 42 \;\text{for}\; n\le -7 \iff m^2-m\ge 42 \;\text{for}\; m\ge 7$$
and proceed in a similar way as for the first part.
As suggested by Robert Israel in the comments, also note that for $m\ge 7$ by $p=m-1\ge 6$ we have
$$ m^2-m\ge 42 \;\text{for}\; m\ge 7 \iff p^2+p\ge 42 \;\text{for}\; p\ge 6$$
which was already proved by the first part.