2: One index must be done separately. We check that a₀ = 1 ≥ 0.

If n ≥ 1, we get a_n = 3n + (−1)ⁿ ≥ 3n − 1 ≥ 0.

Next hint - monotonicity
Answer