Find and use the nth-term rule of a sequence; sum an arithmetic run

Two Olympiad tools for number sequences: a rule that jumps straight to any term without listing them all, and Gauss's pairing trick that adds a whole run in one line.