Range of bounded additive representation functions (Q5948343)

Let \(\mathcal A\) be an infinite subset of \(N\), and for any \(n\), let \(r(\mathcal A,n)\) denote the number of solutions of the equation \(n=a+a'\), where \(a,a'\in\mathcal A\), \(a\leq a'\). Erdős and Freud conjectured that if \(r(\mathcal A,n)\) is bounded, then \(r(\mathcal A,n)=1\) for infinitely many \(n\). The author disproves the conjecture by constructing a set \(\mathcal A\) such that \(r(\mathcal A,n)\leq 3\) for all \(n\), but \(r(\mathcal A,n)=1\) holds only for finitely many \(n\). Several related questions are discussed as well.