$a^2−2a+17>0$
I didn't really know how to go about proving this.
At first I tried finding the range of '$a$' but the equation has imaginary roots so that doesn't really help.
Trying to look at it graphically, it's a parabola that doesn't touch the $x$-axis but I just can't prove that '$a$' will never be imaginary for this inequality.
You have $a^2-2a+17=a^2-2a+1+16=(a-1)^2+16>0$. So, the inequality holds for every $a\in\Bbb R$.