Yes but in the recurrence relation, it said "for all n >= 1". I guess the additional term was the tipping point that let mathematica infer that the meat of the

Yes but in the recurrence relation, it said "for all n >= 1". I guess the additional term was the tipping point that let mathematica infer that the meat of the sequence was for n >= 1.