The coefficients are all equal to 1.

The equation contains no terms that are functions of $n$ alone (constant or variable terms without $a_i$).

The recurrence must have roots that are real numbers.

The order of the recurrence is always greater than 1.