Consider the following program:
1 /* PRE: x > y */
2 while (x > y)
3 {
4 y = y/2;
5 X = x/3;
6 }
In order to argue about the termination, which of the following quantities should be considered to be reduced at each iteration?
a. x+y
b. x-y
c. y
d. x