你知道了吗

\(\sum\limits_i a_i =m\)，则 \(a_i\) 的种类数只有 \(\sqrt{m}\) 个。

证明很好证，大力分讨 \(a_i\) 与 \(m\) 的大小即可。