어떤 성질 만족하는 an의 부분수열이 존재한다
랑 똑같은거라고 받아들여도됨?
{n|성질 만족하는 자연수} 세팅하고 정렬성 조져서 부분수열 만들어주면 똑같은말같은데
이걸로 몇개 날먹할수잇을거같은데 흠