a_n \geq 0, a_{n+1} \geq 0 \implies a_{n+2} \geq 0