Consider the following C code segment:
#include <stdio.h>
main()
{
int i, j, x;
scanf("%d", &x);
i = 1; j = 1;
while(1 < 10){
j = j * i;
i = i + 1;
if(i == x)break;
}

}
For the program fragment above, which of the following statements about the variables i and j must be true after execution of this program? [ !(exclamation) sign denotes factorial in the answer ]

A

$$(j = (x - 1)!) \wedge (i \geq x)$$

B

$$(j = 9!) \wedge (i = 10)$$

C

$$((j = 10!) \wedge (i = 10)) \vee ((j = (x - 1)!) \wedge (i = x))$$

D

$$((j = 9!) \wedge (i \geq 10)) \vee ((j = (x - 1)!) \wedge (i = x))$$