자연수 $n$에 대하여 $I_n=\{1,2,\ldots,n\}$이라고 하자. 임의의 소수 $p\in I_n$에 대하여 원소의 개수가 $n-[n/p]+1$인 임의의 $I_n$의 부분집합 $S$에는 $a|b$를 만족시키는 두 원소 $a$, $b$가 존재함을 보여라. 단, $[x]$는 $x$를 넘지 않는 최대의 정수이다.