某算法有如下程序段

Key = Int(Rnd * 5) * 2 + 10

i = 1: j = 8: n = 0

Do While i <= j

    m = (i + j + 1) \ 2

    If a(m) >= Key Then i = m + 1 Else j = m - 1

    n = n + 1

Loop

数组元素a(1)~a(8)的值为“22，21，18，17，16，15，14，10”。若该程序段执行后，下列说法错误的是(        )

A、j的值为i-1

B、i的值可能是3

C、n的值一定是3

D、j的值可能是3