A question is this type if and only if it asks to prove by contradiction that there is no greatest/smallest element in a set (e.g., no greatest odd integer, no smallest value in an interval).
5 questions · Moderate -0.7