n 1 n 2 ... n n が大きい順に並んでいるときにのみ t を返 す。それ以外の場合は nil を返す。n i は n i-1 よりも真に小さくな ければ t にはならない。 すなわち、 n 1〜n n のいずれか 2 つが同じ値 だった場合は nil を返す。
引数が 1 個以下しか与えられなかった場合は t を返す。
n 1〜n nのいずれかが非数値の場合はエラーとなる。