題意

例

まず、適当な数列a を選び、これをソートしたとき、$a_0, a_1, ... , a_(n-1)$とすると、隣接する２項間の最小値がすべて$a_(n-1)$以上であるかが焦点になる．これは、最小の差がある値以上であるかの判定を行いたいので、隣接する差の最小値に注目すべきであるからだ．

ところで、2つの値$x、y$があったときに$x, y (x ¥leq y)$が厳密な正の値であるとき、条件を満たせない．なぜなら、$(y - x) < y$であるためである．(2値の差はy以下になってしまう)

次に、2つの値$x,y$が、$ x、y　leq 0 $だったとき、必ず条件を満たせる．なぜなら、2値の差は必ず0以上であるため、最大値が$x, y$ 未満であることはない．

これらを合わせると、以下のことが言える．

このため、以下の処理を行う．