# What is a Limit?

A limit is the value a function or sequence approaches as the input approaches another value.

For example,

Here, when y = 2x + 5, and x gets closer and closer to 3, y gets closer and closer to 11.

The important thing about limits is that they should work either way: the left-hand limit (coming from the left) and the right-hand limit (coming from the right).

For example,

When x approaches 0 from the left, the value approaches 0. However, when x approaches 0 from the right, it's 1. So, there are two possible limits, meaning the limit **DOES NOT EXIST.**

# Formal Definition of a Limit of a Sequence

A limit is formally defined as you can find always an input that will be arbitrary close to the limit. Let’s say your sequence is 1/x. If you want to be within 0.0001 of 0, x has to be greater than 10000.

**Definition**: If $p \in \mathbb{R}^n$ and $\{x_i\}^{\infty}_{i = 1}$ is a sequence in $\mathbb{R}^n$, then

$\{x_i\}^{\infty}_{i = 1}$ converges to $p$ iff $\forall \epsilon>0, \exists k \in \mathbb{N}$ s.t. $\forall i \geq k, ||x_i - p|| < \epsilon$

This can be written as $$\lim_{i \to \infty}x_i = p$$

In other words, in order for your limit to exist, if I suggest any given epsilon, you have to respond with a k such that all sequence elements after that will be within epsilon of the limit.

# Proof of Limit to infinity

Here is an example proof for the one above: f(x) = 1/x, and we want to find the limit of f(x) as x -> infinity. This will be in two phases: the discovery phase, where we discover what we want del ta to be, and the proof, where we go backwards. The discovery phase is secret. You don’t want people seeing this part. It’s like an iPhone. Apple doesn’t want you to know the the hundreds of failed attempts, they only want you to know the final result.

### Discovery Phase

### Proof

## Proof with of Limit to a Number

Now, the proof is kind of different, the steps are the same, but now if x is < delta units away from c, f(x) is less than epsilon units from L, the limit. It can be written like, **if** |x-c| < delta, **then **|f(x) - L| < epsilon.