Does there exist a strictly increasing sequence $\{a\_n\}\_{n\in N}$ of natural numbers such that the following two requirements hold:


1, For all $n\in N$, there is NO subset $M$ of $\{0,\cdots ,n-1\}$ such that $a\_n=\Sigma\{a\_m\ |\ m\in M\}$.


2, $\{a\_n\}\_{n\in N}$ is $o(2^n)$, i.e. $\lim\_{n\to\infty}\frac{a\_n}{2^n}=0$.



Is there a strictly increasing sequence such that it is o(2^n) and any term cannot equal the sum of any unrepeated predecessors?
Such sequences are called [sum free sequences](https://en.wikipedia.org/wiki/Sum-free_sequence). In the paper ["On a question about sum-free sequences"](http://www.sciencedirect.com/science/article/pii/S0012365X98003227), Deshouillers, Erdős and Melfi construct a sequence where $a\_n$ is $o(n^{3+\epsilon})$. Luczak and Schoen, later improved this to a construction of a sum free sequence with $a\_n=o(n^{2+\epsilon})$, and show that the exponent $2$ is minimal.




---


I should mention that the construction, referenced above is related to finding suitable perturbations starting from the set of cubes of integers. Of course for the purposes of the particular question in the OP, one can be more explicit at the cost of not being optimal. For example we can define a sequence $\{a\_n\}$ as
$$a\_1=2 \, ,\quad a\_{2n}=a\_{2n-1}+1\, , \quad a\_{2n+1}=1+\sum\_{i=1}^{2n}a\_i$$
which is obviously a sum free sequence and grows as $\sim (\sqrt{3})^n$.


