The problem is to find if the following function is a surjection.
$f: R\to R$ defined by $y=x^{2}-2x-2$
I know that it is not a surjection by looking at a graph of the function but I am new to formal proofs. How would I show that it is not onto (surjection) formally?
For each $x\in\mathbb R$\begin{align}f(x)&=x^2-2x-2\\&=x^2-2x+1-3\\&=(x-1)^2-3\\&\geqslant-3.\end{align}So, the range of $f$ is a subset of $[-3,\infty)$ (actually, it's equal to it) and therefore $f$ is not surjective.