What is the meaning of ? How do you define inequalities in the complex plane?

We want to show that for , no matter what our choice of k is, there is always a real solution for x. Equation becomes

The discriminant D is

, which is positive for all real k.