6: Proof that −3 ≤ a_n:

Proof that a_n ≤ 1:

Note that (n² − 8n + 17) = (n − 4)² + 1 > 0, therefore the sign does not change when multiplying by it.

Next hint - monotonicity
Answer