Sums and affine recurrences

Connect a mathematical model to a concise argument and a verification.

Choose a sufficient state before claiming periodicity.

Transform a recurrence into a progression or telescoping sum.

Control indexing, preperiods and initial conditions.

Prove formulae, feasibility and limits where needed.