Free lab

Sequence Lab

Domino chains, infinite descent, telescoping, difference tables, recurrences and periods mod m — eight machines to play with.

Domino chain: the claim 2ⁿ > n²

Stamps: strong induction

Infinite descent

Telescoping

Geometric sums: shift and subtract

Difference machine

Linear recurrences and characteristic roots

Periods mod m