Properties of limits (of sequences)

We see some basic properties of the limit of a sequence, such as
- The limit of a sequence is unique.
- A convergent sequence is bounded.
- The squeeze theorem.
- Limiting operation is linear.
- The limit of the product of sequences is the product of the limits.
- etc.