形式化描述：给定 $n$，设有集合 $S$ 是 $[1,n]$ 的子集，满足，$\forall a,b,c \in S$，$a \times b \ne c$，求 $max{|S|}$

希望得到多项式解法，并且不要有太高的复杂度