$k_1$, $k_0$ are random integer numbers between $1$ and $100$ (including $1$ and $100$, and uniformly distributed). What is the probability that the equation $x^2 + k_1 x + k_0 = 0$ has real solutions?
This is a subproblem of another problem, and I do not know how to approach it without brute force, hope some of you will propose a fresh idea.
The answer should be devised without using computer, if possible.