Show that Let $f : \mathbb{R} \setminus \{0\} \to \mathbb{R}$ be defined by $f(x) = \frac{1}{x}$. Show $$\lim_{x \to 0}f(x)$$ doesn't exist.
I don't think I've ever seen a rigorous proof of this. I'm trying to show rigorously that this limit doesn't exist.
My Attempted Proof: Observe that $0$ is a limit point of $\mathbb{R} \setminus \{0\}$ so it makes sense to talk about the limit of $f(x)$ as $x \to 0$. Suppose that $$\lim_{x \to 0} f(x) = q \in \mathbb{R}.$$ Then for all $\epsilon > 0$ there exists a $\delta > 0$ such that $|x- 0|< \delta \implies \left|\frac{1}{x} - q\right| < \epsilon$.
Now this is where I got stuck, I want to show that a contradiction arises from the above which will allow me to conclude that no such $q \in \mathbb{R}$ exists. The only way to do this (I think) would be to find an $\epsilon > 0$ such that for all $\delta > 0$ we have $|x| < \delta$ and $\left|\frac{1}{x} - q\right| > \epsilon$. I'm having trouble finding such an $\epsilon$. The only candidate I can think of is $\epsilon = \frac{1}{|q|}$ but I'm still not sure how two conclude that $\left|\frac{1}{x} - q\right| > \frac{1}{|q|}$.
Suppose that $f: U → R$ is an application defined on a subset $U$ of the set $R$ of reals. If $p$ is a real, not necessarily belonging to $U$ but such that $f$ is "defined in the neighborhood of $p$", we say that $f$ admits a limit (finite) at point $p$, if there exists a real $L$ satisfying:
for every real $ε> 0$ there exists a real $δ> 0$ such that for all $x$ in $U$ such that $| x - p | <δ$, we have $| f (x) - L | <ε$.
We can take $ε = 1$, there exists a real $δ'> 0$ such that for all $x$ in $U$ such that $| x - p | <δ$, we have $| f (x) - L | <1$, which is equivalent to $L-1<f(x) < L+1$.
So if $f$ has a finite limit in $0$, there must exists a neighborhood of $0$ such that the value taken by $f$ in this neighborhood is bounded.
In the case here, the serie $(f(1/n))_{n\in\mathbb{N}}$ converges to $+\infty$, so f doesn't have a finite limit in $0$.