Consider the following C code segment:#includemain(){int i, j, x;scanf(“%d”, &x);i = 1; j = 1;while(i < 10) {j = j * i;i = i + 1;if(i = = x)break;}}For the program fragment above, which of the following statements about the variable i and j must be true after execution of this program? [(! (exclamation) sign denotes factorial in the answer]

• A. (j = (x – 1)!) ∧ (i ≥ x)
• B. (j = 9!) ∧ (i = 10)
• C. (j = 9!) ∧ (i = 10)) ∨ ((j = (x – 1)!) ∧ (i = x))
• D. ((j = 9!) ∧ (i ≥ 10)) ∨ ((j = (x – 1)! ∧ (i = x))