Carefully formulate the negations of the statement. Then prove the statement by contradiction.
Exercise
There is no greatest negative real number.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.