A recurrence relation is 'linear' if:
It can be plotted as a straight line
Each term aia_iai appears with power 1 and no products of ai,aja_i, a_jai,aj
It has no base case
It has only one term on the right side