次の記述中の $\square$ に入れる正しい答えを、解答群の中から選べ。ここで、配列の要素番号は 1 から始まる。 (令和6年度)関数mergeは、昇順に整列された整数型の配列data1及びdata2を受け取り、これらを併合してできる昇順に整列された整数型の配列を返す。関数mergeをmerge({2, 3}, {1, 4})として呼び出すと、/*** α ***/ の行は [ $\quad$ ] 。（プログラム）〇整数型の配列: merge(整数型の配列: data1, 整数型の配列: data2 )整数型: n1 ← data1の要素数整数型: n2 ← data2の要素数整数型の配列: work ← {(n1 + n2)個の未定義の値}整数型: i ← 1整数型: j ← 1整数型: k ← 1while((i ≦ n1) and (j ≦ n2))if(data1[i] ≦ data2[j])work[k] ← data1[i]i ← i + 1elsework[k] ← data2[j]j ← j + 1endifk ← k + 1endwhilewhile(i ≦ n1)work[k] ← data1[i]i ← i + 1k ← k + 1endwhilewhile(j ≦ n2)work[k] ← data2[j] /*** α ***/j ← j + 1k ← k + 1endwhilereturn work