も少し頑張るなら仮定は「単調増大列も定数列も持たないと仮定」から馴染めてもいいから「全ての数列は単調増大列か単調減少列か定数列を部分列として含む」ですな