formal (precise) definition of a limit

Here is the precise or formal definition of a limit. We use the formal definition of a limit to prove if a limit exists or not.