I have a question regarding the following limit calculation:
$\lim_{x \to 0} \frac{\cos(x)}{\sin(x)}$
The only way I can solve this is by looking at the one-sided limits:
$\\$ From above: $\lim_{x \to 0^{+}} \frac{\cos(x)}{\sin(x)}$.
The numerator approaches $1$ with a positive sign. The denominator approaches $0$ with a positive sign. $\implies$ the limit is $\infty$
$\\$ From below: $\lim_{x \to 0^{-}} \frac{\cos(x)}{\sin(x)}$.
The numerator approaches $1$ with a positive sign. The denominator approaches $0$ with a negative sign. $\implies$ the limit is $-\infty$
The one-sided limits do not agree and so the limit does not exist.
My concern is this: would you give full marks for an answer like this? It feels very informal but I do not know how to argue the same thing formally.