\(a_i\) はソートしておく.

\(k=0\) のときは, \(a_1 = 1\) ならば不可能であり, そうでないならば \(a_1-1\) を出力すればいい.

\(k \gt 0\) のときは, \(a_k = a_{k+1}\) ならば不可能であり, そうでないならば \(a_k\) を出力すればいい.