S属于集合{1,2,...,n}且S中不存在数对:一个数能被另一个数整除,或与另一个互质S最多可能包涵多少元素