Consider the following code segment:

while ((x > y) || y >= z)
{
    System.out.print("*");
}

In the code segment above, x, y, and z are the variables of type int.

Which of the following must be true after the code segment has executed, and the loop as exited?