Let $f(n)$ count the number of sum-free $A\subseteq \{1,\dots ,n\}$, i.e. $A$ contains no solutions to $a=b+c$ with $a,b,c\in A$. Is it true that$$f(n)=2^{(1+o(1))\frac{n}{2}}?$$