The sequence $(a_n)_{n\geq1}$ is defined as: $$a_1=2, a_2=20, a_3=56, a_{n+3}=7a_{n+2}-11a_{n+1}+5a_n-3\cdot2^n.$$Prove that $a_n$ is positive for every positive integer $n{}$. Find the remainder of the divison of $a_{673}$ to $673$.
Source: Moldova EGMO TST 2019
Tags: Sequence
The sequence $(a_n)_{n\geq1}$ is defined as: $$a_1=2, a_2=20, a_3=56, a_{n+3}=7a_{n+2}-11a_{n+1}+5a_n-3\cdot2^n.$$Prove that $a_n$ is positive for every positive integer $n{}$. Find the remainder of the divison of $a_{673}$ to $673$.