Consider the following code segment.
 int num1 = value1, num2 = value2, num3 = value3;
 while (num1 > num2 || num1 > num3)
 {
 /* body of loop */
 }
 You may assume that value1, value2, and value3 are int values. Which of the following is sufficient to guarantee that /* body of loop */will never be executed?
(A)num1 < num2 (B)num1 < num3 (C)num1 > num2 && num1 > num3 (D)num1 < num2 && num1 < num3
D