METYCSSA (#4)
Almost always yields a recurrence
T(n) <= c + T(n - 1) if n > 0
T(n) <= c + c + T(n - 2) (by substitution)
T(n) <= c + c + c + T(n - 3) (by substitution, again)
T(n) <= kc + T(n - k) (extrapolating 0 < k ? n)
T(n) <= nc + T(0) = nc + b (for k = n)