ریاضیات

http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

هر دنباله از اعداد حقیقی شامل یک زیر دنباله نامتناهی صعودی یکنوا یا نزولی یکنوا می باشد.اما این قضیه گام را فراتر از این می گذارد و می گوید که برای هر r, s داده شده هر دنباله که حداقل طولی برابر rs − r − s + 2 را داشته باشد، شامل یک زیر دنباله صعودی یکنوا به طول r و یا یک دنباله نزولی یکنوا به طول s است.