Sean $a_1, a_2, \cdots, a_k$ números naturales. Sea $S(n)$ el número de soluciones en enteros no negativos a $a_1x_1 + a_2x_2 + \cdots + a_kx_k = n$ . Suponga que $S(n) \neq 0$ para todo $n$ suficientemente grande. Demuestre que para todo $n$ suficientemente grande, tenemos $S(n+1) < 2S(n)$ .