問14

昇順に整列済の配列要素A(1)，A(2)，…，A(n)から，A(m)＝kとなる配列要素A(m)の添字mを2分探索法によって見つける処理を図に示す。終了時点でm＝0の場合は，A(m)＝kとなる要素は存在しない。図中のaに入る式はどれか。ここで，／ は，小数点以下を切り捨てる除算を表す。