Variants of the Bernoulli inequality.
Completeness of the Reals.
Infinite countable sets.
Combinatorics and probability.
Loop invariants.
Some delightful number theory.