>>314
>不等号の左右揃う必要ないよね
あるけど

ωから0に降りる降下列は、
まっさきにω>xで、
あるxに降りる必要あるけど

ωより小さいxはみな自然数だけど
知らなかった?